|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Деятельность
-
Статьи в журналах
-
- 2015 Формальная модель вычислений с плавающей точкой на основе лямбда-исчисления с зависимыми типами
- Антонов С.В., Кривчиков М.А.
- в журнале Программная инженерия, издательство Новые технологии (Москва), № 9, с. 25-31
-