Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
Series: Frontiers in artificial intelligence and applications ; v. 91. | Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.Publication details: Amsterdam ; Oxford : IOS Press, c2003.Description: xviii, 204 p. : illSubject(s): Genre/Form: DDC classification:- 621.395 22
- TK7874 .A94 2003eb
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.
There are no comments on this title.