8th International Conference on Automated Deduction

Proceedings

44702

Издателство

Springer

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

Berlin etc.

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

1986

Страници

708 p. il.

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

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

ISBN

3-540-16780-3

Отрасъл

Математика

Системен №

13265

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

Й 83

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

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

Виж още

Jeremy Munday (2012)

8th International Conference on Automated Deduction. Berlin etc.: Springer, 1986 708 p. il. 3-540-16780-3.

(1986) 8th International Conference on Automated Deduction, Berlin etc.: Springer 708 p. il. 3-540-16780-3.

(1986). 8th International Conference on Automated Deduction. Proceedings. Berlin etc.: Springer, 708 p. il.

8th International Conference on Automated Deduction: Proceedings. Berlin etc.: Springer; 1986. p. 708 p. il. ISBN: 3-540-16780-3.

🍪 Използваме "бисквитки", за да осигурим най-доброто изживяване на нашия уебсайт. Научете повече в нашата Политика за поверителност.