|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, Stuttgart, Germany, September 1-4, 2015сборник
- Год издания: 2015
- Серия: Lecture Notes in Computer Science
- Том: 9270
- Место издания: Springer International Publishing Swirtzeland 2015 Swirtzeland
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2015 Equivalence Checking Problem for Finite State Transducers
- Zakharov V.A.
- в сборнике Proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, Stuttgart, Germany, September 1-4, 2015, серия Lecture Notes in Computer Science, место издания Springer International Publishing Swirtzeland 2015 Swirtzeland, том 9270, с. 208-221