НОУ ИНТУИТ | Метавычисления и их приложения: суперкомпиляция и нестандартные семантики. Лекция 5: genTabToSubsts. Построение sGenUp и sGenDn. Обобщение рестрикций. Условие rGen. Функции mkRestr, genRestr, genConf

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Регистрация Вход

Твой путь к знаниям!

Университет города Переславля им. А. К. Айламазяна

Опубликован: 07.03.2015 | Доступ: свободный | Студентов: 113 / 0

Темы: Программирование, Алгоритмы и дискретные структуры

Специальности: Программист, Архитектор программного обеспечения

|

Вам нравится?

| Поделиться |

Поддержать курс

| Скачать видеокурс (mp4)

Дальше >>