Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань
Loading...
Date
2013
Authors
Афонін, Андрій
Лялецький, Олександр
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
У статті аналізуються сучасні парадигми та стилі інтелектуальної обробки інформації в системах автоматизації міркувань.
The modem paradigms and styles of intelligent information processing in automated reasoning systems are considered in the paper.
The modem paradigms and styles of intelligent information processing in automated reasoning systems are considered in the paper.
Description
Keywords
автоматизація міркувань, обробка інформації, машинне доведення, Тheorema, Isabelle, Coq, Automath, Lambda-Clam, Mizar, SAD, стаття, thinking processing, information processing, machine proof, Theorema, Isabelle, Coq, Automath, Lambda-Clam, Mizar, SAD
Citation
Афонін А. О. Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань / Афонін А.О., Лялецький О.В. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 20-24.