Зведений каталог бібліотек Києва
Д16744Афонін, Андрій Олександрович. Повні методи пошуку виведення в системах логічного програмування [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Афонін А.О. ; КНУТШ. — Київ, 2011. — 118 л.
- Ключові слова:
- Теми документа