Вы здесь

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