|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Natural Deduction Calculus for Linear-Time Temporal Logicстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 23 августа 2019 г.
- Авторы: Bolotov Alexander, Basukoski Artie, Grigoriev Oleg, Shangin Vasilyi
- Сборник: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
- Редактор: Конев Борис Юрьевич
- Серия: Lecture Notes in Computer Science
- Том: 4160
- Год издания: 2006
- Место издания: Springer Berlin Heidelberg
- Первая страница: 56
- Последняя страница: 68
- DOI: 10.1007/11853886_7
- Добавил в систему: Григорьев Олег Михайлович