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

Computational Logic and Proof Theory

Proceedings

44614

Издателство

Springer

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

Berlin etc.

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

1993

Страници

348 p. il.

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

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

ISBN

3-540-57184-1

Отрасъл

Математика

Системен №

13182

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

C 73

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

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

Виж още

Благовест С. Моллов (2014)

Пламен Николов Пенчев (2016)

(2011)

Jeremy Munday (2012)

(2010)

(1997)