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

Вы здесь

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

1

Вид:

Монография

Год:

2001

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

Стр.:

P.963-2122

Редактор:

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

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

Карточка:

В2.11.

Handbook of Automated Reasoning. Volume IIEd. by Robinson A., Voronkov A..-Amsterdam, London.: Elsevier, 2001.-P.963-2122

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

MONO3 635