|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedingsсборник
- Член редколлегии: Конев Б.Ю.
- Год издания: 2006
- Серия: Lecture Notes in Computer Science
- Том: 4160
- Место издания: Springer Berlin Heidelberg
- Добавил в систему: Григорьев Олег Михайлович
Статьи, опубликованные в сборнике
-
- 2006 Natural Deduction Calculus for Linear-Time Temporal Logic
- 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, место издания Springer Berlin Heidelberg, том 4160, с. 56-68 DOI
- редактор Конев Борис Юрьевич