|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Proceedings of the 14th International Symposium on Temporal Representation and Reasoningсборник
- Год издания: 2007
- Серия: TIME ’07
- Место издания: IEEE Computer Society Washington, DC, USA
- Добавил в систему: Григорьев Олег Михайлович
Статьи, опубликованные в сборнике
-
- 2007 Automated Natural Deduction for Propositional Linear-Time Temporal Logic
- Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
- в сборнике Proceedings of the 14th International Symposium on Temporal Representation and Reasoning, серия TIME ’07, место издания IEEE Computer Society Washington, DC, USA, с. 47-58 DOI