Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 97. Pont-a-Mousson, France, May 1997

Вы здесь

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

Вид:

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

Год:

1997

Стр.:

373 p.

Редактор:

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

1227

Карточка:

Б2.1, В2.11.

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 97. Pont-a-Mousson, France, May 1997Ed. by Galmiche D..-Berlin, Heidelberg.: Springer, 1997.-Vol. 1227.-373 p.-(Lecture Notes in Artificial Intelligence).

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

MONO2 313