|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputationсборник
- Год издания: 2014
- Место издания: Издательство университета г. Переславля Pereslavl-Zalessky
- Добавил в систему: Миронов Андрей Михайлович
Статьи, опубликованные в сборнике
-
- 2014 A Method of a Proof of Observational Equivalence of Processes
- Mironov A.
- в сборнике Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation, место издания Издательство университета г. Переславля Pereslavl-Zalessky, с. 194-222