Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
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
-
редактор
Конев Борис Юрьевич