Handbook of Automated Reasoning. Volume I | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Монография

Год:

2001

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

дедукция

Стр.:

970 p.

Редактор:

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

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

Карточка:

В2.11.

Handbook of Automated Reasoning. Volume IEd. by Robinson A., Voronkov A..-Amsterdam, London.: Elsevier, 2001.-970 p.

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

MONO3 634