Средства разработки приложений

Лекция из курса Основы программирования на языке Пролог
Лекция из курса Основы программирования на языке Пролог - 2
Лекция из курса Основы программирования на языке Пролог - 3
Алгоритм приведения произвольной формулы исчисления предикатов к множеству дизъюнктов
Алгоритм приведения произвольной формулы исчисления предикатов к множеству дизъюнктов - 2
Алгоритм приведения произвольной формулы исчисления предикатов к множеству дизъюнктов - 3
Алгоритм унификации

Алгоритм унификации - 2
Алгоритм унификации - 3
Алгоритм унификации - 4
Содержание

Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий