Унификатор наибольший общий

Материал из WEGA

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

Источник — http://pco.iis.nsk.su/wega/index.php?title=Унификатор_наибольший_общий&oldid=9811