Автор(ы): Васильев С. Н. (ИПУ РАН, Лаборатория 38)Автор(ов): 1 Параметры публикацииТип публикации: Пленарный докладНазвание: Исчисление позитивно-образованных формул и примененияНаименование конференции: Международная междисциплинарная конференция «Философия, математика, лингвистика: аспекты взаимодействия», Санкт-Петербург, 2009Наименование источника: Труды Международной конференции «Философия, математика, лингвистика: аспекты взаимодействия» (Санкт-Петербург, 2009)Город: Санкт-ПетербургИздательство: СпБГУГод издания: 2009Страницы: 26-32 АннотацияОписываются логические средства автоматического доказательства и синтеза теорем, которые отличаются от известных своими выразительными, дедуктивными и абдуктивными возможностями. Положительная апробация осуществлена в проблематике интеллектного управления динамическими системами и автоматического синтеза теорем математической теории систем. Библиографическая ссылка: Васильев С.Н. Исчисление позитивно-образованных формул и применения / Труды Международной конференции «Философия, математика, лингвистика: аспекты взаимодействия» (Санкт-Петербург, 2009). СПб.: СпБГУ, 2009. С. 26-32.
