Unification problem

Материал из WEGA

Версия от 13:20, 18 августа 2011; Glk (обсуждение | вклад) (Новая страница: «'''Unification problem''' --- задача унификации.»)

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

Unification problem --- задача унификации.

Источник — http://pco.iis.nsk.su/wega/index.php?title=Unification_problem&oldid=9342