|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007сборник
- Год издания: 2007
- Место издания: IICAI
- Добавил в систему: Григорьев Олег Михайлович
Статьи, опубликованные в сборнике
-
- 2007 A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic
- Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
- в сборнике Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007, место издания IICAI, с. 1253-1266