Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань
|
|
| Creator |
Афонін, Андрій
Afonin, Andrij Лялецький, Олександр |
|
| Subject |
автоматизація міркувань
обробка інформації машинне доведення Тheorema Isabelle Coq Automath Lambda-Clam Mizar SAD |
|
| Date |
2014-03-06T14:26:35Z
2014-03-06T14:26:35Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Афонін А.О. Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань / Афонін А.О., Лялецький О.В. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 20-24.
http://www.ekmair.ukma.edu.ua/handle/123456789/2852 |
|
| Language |
ua
|
|
| Relation |
Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 20-24.
|
|