Вы здесь

Главная

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 2000. St.Andrews, Scotland, UK, July 2000

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2000
Стр.: 
441 p.
Редактор: 
Dyckhoff R.
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
1847
Карточка: 

В2.11.

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 2000. St.Andrews, Scotland, UK, July 2000Ed. by Dyckhoff R..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1847.-441 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO3 311