Higher Order Logic Theorem Proving and Its Applications

Proceedings

44103

Издателство

Springer

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

Berlin etc.

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

1994

Страници

470 p. il.

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

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

ISBN

3-540-58450-1

Отрасъл

Математика

Системен №

12677

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

H 65

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

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

Виж още

Marlys Mayfield

(1995)

Higher Order Logic Theorem Proving and Its Applications. Berlin etc.: Springer, 1994 470 p. il. 3-540-58450-1.

(1994) Higher Order Logic Theorem Proving and Its Applications, Berlin etc.: Springer 470 p. il. 3-540-58450-1.

(1994). Higher Order Logic Theorem Proving and Its Applications. Proceedings. Berlin etc.: Springer, 470 p. il.

Higher Order Logic Theorem Proving and Its Applications: Proceedings. Berlin etc.: Springer; 1994. p. 470 p. il. ISBN: 3-540-58450-1.