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.