|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Предметно-ориентированные языки с заданной формальной семантикой на основе лямбда-исчисления с зависимыми типамитезисы доклада
- Авторы: Васенин В.А., Кривчиков М.А.
- Сборник: Международная конференция “Мальцевские чтения”. Тезисы докладов
- Тезисы
- Год издания: 2014
- Место издания: Новосибирск
- Первая страница: 25
- Последняя страница: 25
- Добавил в систему: Кривчиков Максим Александрович