Instantiation Theory

On the Foundations of Automated Deduction

J. G. Williams

44846

Издателство

Springer

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

Berlin etc.

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

1991

Страници

133 p. il.

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

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

ISBN

3-540-54333-3

Отрасъл

Математика

Системен №

13420

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

W 69

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

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

Виж още

(2011)

(2010)

Williams, J. Instantiation Theory. Berlin etc.: Springer, 1991 133 p. il. 3-540-54333-3.

Williams, J. (1991) Instantiation Theory, Berlin etc.: Springer 133 p. il. 3-540-54333-3.

Williams, J. (1991). Instantiation Theory. On the Foundations of Automated Deduction. Berlin etc.: Springer, 133 p. il.

Williams J. Instantiation Theory: On the Foundations of Automated Deduction. Berlin etc.: Springer; 1991. p. 133 p. il. ISBN: 3-540-54333-3.