Афонін, АндрійЛялецький, Олександр2014-03-062014-03-062013Афонін А. О. Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань / Афонін А.О., Лялецький О.В. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 20-24.https://ekmair.ukma.edu.ua/handle/123456789/2852У статті аналізуються сучасні парадигми та стилі інтелектуальної обробки інформації в системах автоматизації міркувань.The modem paradigms and styles of intelligent information processing in automated reasoning systems are considered in the paper.ukавтоматизація міркуваньобробка інформаціїмашинне доведенняТheoremaIsabelleCoqAutomathLambda-ClamMizarSADстаттяthinking processinginformation processingmachine proofTheoremaIsabelleCoqAutomathLambda-ClamMizarSADArticle