Unification problem

Материал из WikiGrapp
Версия от 13:20, 18 августа 2011; Glk (обсуждение | вклад) (Новая страница: «'''Unification problem''' --- задача унификации.»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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

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