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

Оновлено: 2024-07-21