Обсуждение:Правило резолюций
Перейти к навигации
Перейти к поиску
"Метод резолюций предложен в 1930г. в докторской диссертации Эрбрана для доказательства теорем в формальных системах первого порядка." "Алгоритм унификации разработали в 1966 г. Ж. Питра и независимо от него – Дж. Робинсон" http://www.aiportal.ru/articles/knowledge-models/method-resolution.html brainstream 15:00, 29 октября 2010 (UTC)