Унифицируемый терм: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Унифицируемый терм''' - см. ''[[Задача унификации]]''.
См. ''[[Задача унификации]]''.

Текущая версия от 11:26, 22 сентября 2011