Системы Theorema и автоматизация дедукции: сравнительный анализ

dc.contributor.author	Анисимов, А.В.
dc.contributor.author	Джебелян, Т.
dc.contributor.author	Лялецкий, А.В.
dc.contributor.author	Попов, Н.
dc.date.accessioned	2015-06-12T09:13:14Z
dc.date.available	2015-06-12T09:13:14Z
dc.date.issued	2011
dc.identifier.citation	Системы Theorema и автоматизация дедукции: сравнительный анализ / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий. Н. Попов // Управляющие системы и машины. — 2011. — № 4. — С. 59-63, 77. — Бібліогр.: 20 назв. — рос.	uk_UA
dc.identifier.issn	0130-5395
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/82950
dc.description.abstract	Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах обработки данных.	uk_UA
dc.description.abstract	Basic paradigms of the mathematical knowledge processing are considered and the place of the Theorema and SAD systems is outlined. A comparative analysis of the systems, common features of their construction and the distinction in data processing methods are described.	uk_UA
dc.description.abstract	Розглянуто основні парадигми обробки математичних знань та позначено місце серед них систем Theorema та автоматизація дедукції. Описано порівняльний аналіз систем, загальні риси їх побудови та різницю в методах обробки даних.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України	uk_UA
dc.relation.ispartof	Управляющие системы и машины
dc.subject	Организационные и методические аспекты обеспечения непрерывного образования	uk_UA
dc.title	Системы Theorema и автоматизация дедукции: сравнительный анализ	uk_UA
dc.title.alternative	Theorema and SAD Systems: A Comparative Analysis	uk_UA
dc.title.alternative	Системи Theorema та автоматизація дедукції: порівняльний аналіз	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.8:510.62:63