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