Метавычисления и их приложения: Суперкомпиляция и нестандартные семантики

Numprog. Функции theSameTerm, whConf

Показывать лекцию целиком
Вернуться к учебному плану