A Computational Logic Handbook | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Монография

Год:

1998

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

доказательство

Стр.:

518 p.

Библиография:

Bibliogr.: p.493-505

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

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

Карточка:

В2.11, Б2.13.

Boyer R. S., Moore J. S..

A Computational Logic Handbook-San Diego, London.: Academic Press, 1998.-518 p.
Bibliogr.: p.493-505

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

MONO3 217