Вы здесь

Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2009
Стр.: 
341 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
5607
Карточка: 

В2.11, Б2.1.

Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009/Ed. by Giese M., Waaler A..-Berlin.: Springer, 2009.-Vol. 5607.-341 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO7 907