Неймеш Роман Павлович – Дослідження алгоритмів логічного виводу по онтології

Науковий керівник: Доц. Кисельов Г. Д.