Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992

Shelfclass_id	4.B.3
Sortkey	STAVRIDOU, VICTORIA
Authors	Victoria Stavridou, Tom F. Melham, Raymond T. Boute
Title	Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992
Publisher	North-Holland
Year	1992
Languages	eng
Isbn	0444896864
Series	IFIP transactions / A
Volume	10
Issn	0926-5473
Description	xi, 360 p. ill. 23 cm.
Record date	20100122
Location	New York
Keywords	Integrated circuits, Automatic theorem proving