Theorm Provers in Circuit Design. Theory, Practice and Experience

Proceedings

44681

Издателство

Springer

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

Berlin etc.

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

1995

Страници

303 p. il.

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

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

ISBN

3-540-59047-1

Отрасъл

Математика

Системен №

13250

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

T 44

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

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

Theorm Provers in Circuit Design. Theory, Practice and Experience. Berlin etc.: Springer, 1995 303 p. il. 3-540-59047-1.

(1995) Theorm Provers in Circuit Design. Theory, Practice and Experience, Berlin etc.: Springer 303 p. il. 3-540-59047-1.

(1995). Theorm Provers in Circuit Design. Theory, Practice and Experience. Proceedings. Berlin etc.: Springer, 303 p. il.

Theorm Provers in Circuit Design. Theory, Practice and Experience: Proceedings. Berlin etc.: Springer; 1995. p. 303 p. il. ISBN: 3-540-59047-1.