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