4189
правок
Задача унификации: различия между версиями
Перейти к навигации
Перейти к поиску
Создана новая страница размером '''Задача унификации''' (''Unification problem'') - По двум описаниям <math>X</math> и <math>Y</math> о...
Glk (обсуждение | вклад) (Создана новая страница размером '''Задача унификации''' (''Unification problem'') - По двум описаниям <math>X</math> и <math>Y</math> о...) |
(нет различий)
|