TY  - BOOK
AU  - Hachtel, Gary D
TI  - Logic Synthesis and Verification Algorithms
U1  - 511.8 
PY  - 1996///
CY  - Verlag London
PB  - Springer
KW  - Natural Sciences
KW  - MathematicsMathematics
KW  - General Stack
ER  -