Каталог "Книги" | Книги .(02)

Resolution Methods for the Decision Problem

etc.: C. Fermuller

44805

Издателство

Springer

Местоиздаване

Berlin etc.

Година на издаване

1993

Страници

205 p.

Класификационен индекс

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

ISBN

3-540-56732-1

Отрасъл

Математика

Системен №

13379

Допълнителна сигнатура

R 45

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Виж още

(1993 - 1994)

(1993 - 1994)

(1993 - 1994)

Lawrence Venuti (2008)

Alan Horsman (1990)

(1993)