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