Зведений каталог бібліотек Львова

 

004.89:519.85
А946
2
Афонін, Андрій
    Повні методи пошуку виведення в системах логічного програмування [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Київ. нац. ун-т ім. Т. Шевченка. — Київ, 2011. — 18 c.


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

  • УДК // Математичне програмування
  • УДК // Прикладні системи штучного інтелекту. Інтелектуальні системи, що основані на знаннях



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка» 1 Перейти на сайт