Вы здесь
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2011
Ключевые слова:
Стр.:
277 p.
Редактор:
Место издания:
Издательство:
Том:
6793
Карточка:
В2.11, Б3.54.
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011Ed. by Brunnler K., Metcalfe G..-Berlin.: Springer, 2011.-Vol. 6793.-277 p.-(Lecture Notes in Artificial Intelligence).
Таблица в старой библиотеке:
MONO8 966