Higher Order Logic Theorem Proving and Its Applications

Proceedings

44083

Издателство

Springer

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

Berlin etc.

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

1995

Страници

400 p. il.

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

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

ISBN

3-540-60275-5

Отрасъл

Математика

Системен №

12697

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

H 65

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

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

Виж още

Marlys Mayfield

(1994)

Higher Order Logic Theorem Proving and Its Applications. Berlin etc.: Springer, 1995 400 p. il. 3-540-60275-5.

(1995) Higher Order Logic Theorem Proving and Its Applications, Berlin etc.: Springer 400 p. il. 3-540-60275-5.

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

Higher Order Logic Theorem Proving and Its Applications: Proceedings. Berlin etc.: Springer; 1995. p. 400 p. il. ISBN: 3-540-60275-5.