TY  - BOOK
AU  - Azevedo,Francisco
ED  - NetLibrary, Inc.
TI  - Constraint solving over multi-valued logics: application to digital circuits 
SN  - 058545860X (electronic bk.)
AV  - QA76.612 .A94 2003eb
U1  - 005.116 22
PY  - 2003///
CY  - Amsterdam, Washington, DC, Tokyo
PB  - IOS, Ohmsha
KW  - Constraint programming (Computer science)
KW  - Many-valued logic
KW  - Digital electronics
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references (P. 145-153); Electronic reproduction; Boulder, Colo.; NetLibrary; 2003; Available via World Wide Web; Access may be limited to NetLibrary affiliated libraries
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528
ER  -