TY  - BOOK
AU  - Azevedo, Francisco
TI  - Constraint solving over multi - valued logics: application to digital circuits
SN  - 1586033042
U1  - 006.3 
PY  - 2002///
CY  - Amsterdam
PB  - IOS Press
KW  - Computer mathematics; Computer engineering
ER  -