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

edited by V. Stavridou, T. F. Melham, R. T. Boute
Bok · Engelsk · 1992 Practice IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory

Utgitt	Amsterdam : North-Holland , 1992
Omfang	xi, 360 s. : ill.
Emner	Automatic theorem proving - Congresses Computer-aided design - Congresses Integrated circuits - Very large scale integration Design and construction Dataprocessing Congresses Automatisk bevisføring : (NO-TrBIB)REAL009781 Vis mer... Digitale kretser Teorembevisføring
ISBN	0444896864