Format:
VIII, 303 S.
,
graph. Darst.
,
24 cm
ISBN:
3540590471
,
0387590471
Series Statement:
Lecture notes in computer science 901
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Theorem provers in circuit design Berlin [u.a.] : Springer, 1995 ISBN 9783540491774
Additional Edition:
Erscheint auch als Online-Ausgabe Kumar, Ramayya Theorem Provers in Circuit Design Berlin, Heidelberg : Springer Berlin Heidelberg, 1995 ISBN 9783540491774
Language:
English
Subjects:
Computer Science
Keywords:
Entwurfsautomation
;
Automatisches Beweisverfahren
;
Automatisches Beweisverfahren
;
Konferenzschrift
;
Aufsatzsammlung
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0815/95005971-d.html