Зведений каталог бібліотек Києва

 

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


- Ключові слова:

логічне програмування, логическое программирование, logic programming

- Теми документа

  • ББК науковий // Арифметичні пристрої. Логічні схеми



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 1 Перейти на сайт