Automated Deduction in Classical and Non-Classical Logics: Selected Papers | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2000

Ключевые слова:

дедукция

Стр.:

299 p.

Редактор:

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

1761

Карточка:

В2.11, Б2.13.

Automated Deduction in Classical and Non-Classical Logics: Selected PapersEd. by Caferra R., Salzer G..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1761.-299 p.-(Lecture Notes in Artificial Intelligence).

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

MONO3 153