Унифицируемый терм

Материал из WEGA

Версия от 18:07, 7 февраля 2010; KEV (обсуждение | вклад)

(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Унифицируемый терм - см. Задача унификации.

Источник — http://pco.iis.nsk.su/wega/index.php?title=Унифицируемый_терм&oldid=4963