TY  - BOOK
AU  - Kumar,Ramayya
AU  - Kropf,Thomas
ED  - International Conference on Theorem Provers in Circuit Design
TI  - Theorem provers in circuit design: theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings 
SN  - 3540590471 (Berlin : acidfree paper)
U1  - 004.6606 
PY  - 1995///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Digital integrated circuits
KW  - Computer-aided design
KW  - Congresses
KW  - Automatic theorem proving
ER  -