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

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