Unification problem

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

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