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

Материал из WikiGrapp

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

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