TY - BOOK
AU - TPCD 2 1994 Bad Herrenalb
AU - Kumar, Ramayya
TI - Theorem provers in circuit design theory, practice and experience ; proceedings
PB - Springer
SN - 3540590471
SN - 0387590471
KW - Digital integrated circuits Computer-aided design Congresses
KW - Automatic theorem proving Congresses
KW - Integrated circuits Design and construction Congresses
KW - Konferenzschrift
KW - Aufsatzsammlung
KW - Konferenzschrift 1994 Herrenalb
KW - Entwurfsautomation
KW - Automatisches Beweisverfahren
PY - 1995
N2 - Literaturangaben
BT - Lecture notes in computer science ; 901
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation