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

Скорочена інформація про документ
dc.contributor.authorМороховець, М.К.
dc.date.accessioned2008-06-24T13:31:04Z
dc.date.available2008-06-24T13:31:04Z
dc.date.issued2003
dc.description.abstractАналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розвитку САМ. Іл.: 1. Бібліогр.: 28 назв.en_US
dc.description.abstractАнализируются различные формы взаимодействия современных систем автоматизации рассуждений (САР) с другими программными средствами решения математических задач. Современные САР рассмотрены с точки зрения их состава. На базе проведенного анализа сформулированы основные проблемы и выделены возможные направления развития САР. Ил.: 1. Библиогр.: 28 назв.en_US
dc.description.abstractVarious 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.identifier.citationОсобливості організації сучасних систем автоматизації міркувань / Мороховець М.К. // Математичні машини і системи. – 2003. – № 2. – С. 140 – 145en_US
dc.identifier.issn1028-9763
dc.identifier.udc681.3:519.68
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/730
dc.language.isouken_US
dc.publisherІнститут проблем математичних машин і систем НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectПрограмно-технічні комплексиen_US
dc.titleОсобливості організації сучасних систем автоматизації міркуваньen_US
dc.title.alternativeОсобенности организации современных систем автоматизации рассужденийen_US
dc.title.alternativeThe peculiarities of the organization of modern automated reasoning systemsen_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
15-Morohove4.pdf
Розмір:
125.51 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.79 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Математичні машини і системи, 2003, № 2