Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 99. Saratoga Springs, NY, USA, June 1999

Вы здесь

Количество экземпляров:

Вид:

Сборник или журнал

Год:

1999

Стр.:

325 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Artificial Intelligence

Том:

1617

Карточка:

В2.11, Б2.13, Б2.14.

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 99. Saratoga Springs, NY, USA, June 1999Ed. by Murray N. V..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1617.-325 p.-(Lecture Notes in Artificial Intelligence).

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

MONO2 830