Унификация атомарных предикатов

Описание к видео Унификация атомарных предикатов

Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика"
http://dcn.icc.spbstu.ru/
Логический вывод в логике предикатов
Метод резолюции в логике предикатов

Комментарии

Информация по комментариям в разработке