|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputationсборник
- Год издания: 2016
- Место издания: Издательство университета г. Переславля Pereslavl-Zalessky
- Добавил в систему: Миронов Андрей Михайлович
Статьи, опубликованные в сборнике
-
- 2016 On a Method of Verification of Functional Programs
- Mironov A.M.
- в сборнике Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation, место издания Издательство университета г. Переславля Pereslavl-Zalessky, с. 139-158