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