Особливості організації сучасних систем автоматизації міркувань

dc.contributor.author	Мороховець, М.К.
dc.date.accessioned	2008-06-24T13:31:04Z
dc.date.available	2008-06-24T13:31:04Z
dc.date.issued	2003
dc.identifier.citation	Особливості організації сучасних систем автоматизації міркувань / Мороховець М.К. // Математичні машини і системи. – 2003. – № 2. – С. 140 – 145	en_US
dc.identifier.issn	1028-9763
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/730
dc.description.abstract	Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розвитку САМ. Іл.: 1. Бібліогр.: 28 назв.	en_US
dc.description.abstract	Анализируются различные формы взаимодействия современных систем автоматизации рассуждений (САР) с другими программными средствами решения математических задач. Современные САР рассмотрены с точки зрения их состава. На базе проведенного анализа сформулированы основные проблемы и выделены возможные направления развития САР. Ил.: 1. Библиогр.: 28 назв.	en_US
dc.description.abstract	Various forms of the interaction of modern systems for automated reasoning (ARS) with other software tools for solving mathematical problems are observed. Modern ARS are considered in a compositional aspect. On the base of the analysis done, the main problems and possible directions of the development of ARS are formulated. Fig.: 1. Refs.: 28 titles.	en_US
dc.language.iso	uk	en_US
dc.publisher	Інститут проблем математичних машин і систем НАН України	en_US
dc.subject	Програмно-технічні комплекси	en_US
dc.title	Особливості організації сучасних систем автоматизації міркувань	en_US
dc.title.alternative	Особенности организации современных систем автоматизации рассуждений	en_US
dc.title.alternative	The peculiarities of the organization of modern automated reasoning systems	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	681.3:519.68