|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009сборник
- Год издания: 2009
- Место издания: IICAI
- Добавил в систему: Григорьев Олег Михайлович
Статьи, опубликованные в сборнике
-
- 2009 Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus
- Bolotov Alexander, Basso Alessandro, Grigoriev Oleg
- в сборнике Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009, место издания IICAI, с. 166-185