Theorem provers in circuit design :
Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /
Ramayya Kumar, Thomas Kropf, eds.
- Berlin ; New York : Springer-Verlag, c1995.
- viii, 303 p. : ill. ; 24 cm.
- Lecture notes in computer science ; 901 .
3540590471 (Berlin : acidfree paper) 0387590471 (New York : acidfree paper)
Digital integrated circuits--Computer-aided design--Congresses.
Automatic theorem proving--Congresses.
004.6606
3540590471 (Berlin : acidfree paper) 0387590471 (New York : acidfree paper)
Digital integrated circuits--Computer-aided design--Congresses.
Automatic theorem proving--Congresses.
004.6606