|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Proceedings of the 36th IEEE Conference on Decition and Controlсборник
- Год издания: 1997
- Том: 1
- Место издания: IEEE Controls Syst Soc, Soc Ind & Appl Math, Inst Operat Res & Management Sci San Diego, CA
- Сборник тезисов
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1997 Logic, topological semantics and hybrid systems
- Artemov Sergei, Davoren Jennifer, Nerode Anil
- в сборнике Proceedings of the 36th IEEE Conference on Decition and Control, место издания IEEE Controls Syst Soc, Soc Ind & Appl Math, Inst Operat Res & Management Sci San Diego, CA, том 1, тезисы, с. 698-701 DOI