Знайдено документів: 1
Афонін Андрій Олександрович. Повні методи пошуку виведення в системах логічного програмування
: к.ф.-м.н. :
спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики :
захищена 2011-06-23; .
Національний університет "Києво-Могилянська академія". – ,
0411U005358.
Знайдено документів: 1
Оновлено: 2024-11-14