Constraint solving over multi-valued logics
Azevedo, Francisco.
Constraint solving over multi-valued logics application to digital circuits / [electronic resource] : Francisco Azevedo. - Amsterdam ; Oxford : IOS Press, c2003. - xviii, 204 p. : ill. - Frontiers in artificial intelligence and applications, Dissertations in artificial intelligence v. 91. 0922-6389 ; . - Frontiers in artificial intelligence and applications ; v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. .
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.
Integrated circuits--Mathematical models.
Digital electronics.
Electronic books.
TK7874 / .A94 2003eb
621.395
Constraint solving over multi-valued logics application to digital circuits / [electronic resource] : Francisco Azevedo. - Amsterdam ; Oxford : IOS Press, c2003. - xviii, 204 p. : ill. - Frontiers in artificial intelligence and applications, Dissertations in artificial intelligence v. 91. 0922-6389 ; . - Frontiers in artificial intelligence and applications ; v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. .
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.
Integrated circuits--Mathematical models.
Digital electronics.
Electronic books.
TK7874 / .A94 2003eb
621.395