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
-
Добавил в систему:
Григорьев Олег Михайлович