TY  - BOOK
AU  - Azevedo,Francisco
ED  - ebrary, Inc.
TI  - Constraint solving over multi-valued logics: application to digital circuits 
T2  - Frontiers in artificial intelligence and applications,
AV  - TK7874 .A94 2003eb
U1  - 621.395 22
PY  - 2003///
CY  - Amsterdam, Oxford
PB  - IOS Press
KW  - Integrated circuits
KW  - Mathematical models
KW  - Digital electronics
KW  - Electronic books
KW  - local
N1  - Thesis (Ph. D.)--UNL/FCT; Includes bibliographical references and index; Electronic reproduction; Palo Alto, Calif.; ebrary; 2009; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://ezproxy.taylors.edu.my/login?url=http://site.ebrary.com/lib/taylorscollege/Doc?id=10116478
ER  -