|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculusстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.
- Авторы: 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
- Год издания: 2009
- Место издания: IICAI
- Первая страница: 166
- Последняя страница: 185
- Добавил в систему: Григорьев Олег Михайлович