[Ninth] 9th International Conference on Automated Deduction

Proceedings

44500

Издателство

Springer

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

Berlin etc.

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

1988

Страници

775 p. il.

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

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

ISBN

3-540-19343-X

Отрасъл

Математика

Системен №

13066

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

N 67

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

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

[Ninth] 9th International Conference on Automated Deduction. Berlin etc.: Springer, 1988 775 p. il. 3-540-19343-X.

(1988) [Ninth] 9th International Conference on Automated Deduction, Berlin etc.: Springer 775 p. il. 3-540-19343-X.

(1988). [Ninth] 9th International Conference on Automated Deduction. Proceedings. Berlin etc.: Springer, 775 p. il.

[Ninth] 9th International Conference on Automated Deduction: Proceedings. Berlin etc.: Springer; 1988. p. 775 p. il. ISBN: 3-540-19343-X.