Пошук :
Довідка :
Електронний каталог : Афонін Андрій Олександрович - Повні методи пошуку виведення в системах логічного програмування
Афонін Андрій Олександрович - Повні методи пошуку виведення в системах логічного програмування
Автореферат/Дисертація
Автор: Афонін Андрій Олександрович
Повні методи пошуку виведення в системах логічного програмування : автореф. дис. ... канд. фіз.-мат. наук
Видавництво: [б.в.], 2011 г.
ISBN відсутній
Автор: Афонін Андрій Олександрович
Повні методи пошуку виведення в системах логічного програмування : автореф. дис. ... канд. фіз.-мат. наук
Видавництво: [б.в.], 2011 г.
ISBN відсутній
(UA) Автореферат
A 165900
Главный филиал
Афонін, Андрій Олександрович.
Повні методи пошуку виведення в системах логічного програмування : автореф. дис ... канд. фіз.-мат. наук : 01.05.01 / Андрій Олександрович Афонін; В.о. Київ. нац. ун-т ім. Т. Шевченка.– К. : [б.в.], 2011.– 18 с.
120 пр. – На укр. яз.
-- 1. Фізико-математичні науки – Інформатика і кібернетика – Теоретичні основи інформатики та кібернетики.
A 165900
Главный филиал
Афонін, Андрій Олександрович.
Повні методи пошуку виведення в системах логічного програмування : автореф. дис ... канд. фіз.-мат. наук : 01.05.01 / Андрій Олександрович Афонін; В.о. Київ. нац. ун-т ім. Т. Шевченка.– К. : [б.в.], 2011.– 18 с.
120 пр. – На укр. яз.
-- 1. Фізико-математичні науки – Інформатика і кібернетика – Теоретичні основи інформатики та кібернетики.