Theorem Proving with Analytic Tableaux and Related Methods

Proceedings

44776

Издателство

Springer

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

Berlin etc.

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

1995

Страници

352 p. il.

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

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

ISBN

3-540-59338-1

Отрасъл

Математика

Системен №

13332

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

T 44

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

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

Theorem Proving with Analytic Tableaux and Related Methods. Berlin etc.: Springer, 1995 352 p. il. 3-540-59338-1.

(1995) Theorem Proving with Analytic Tableaux and Related Methods, Berlin etc.: Springer 352 p. il. 3-540-59338-1.

(1995). Theorem Proving with Analytic Tableaux and Related Methods. Proceedings. Berlin etc.: Springer, 352 p. il.

Theorem Proving with Analytic Tableaux and Related Methods: Proceedings. Berlin etc.: Springer; 1995. p. 352 p. il. ISBN: 3-540-59338-1.