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

Материал из WEGA

См. Задача унификации.

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