Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
By: Azevedo, Francisco
.
Contributor(s): ebrary, Inc.
Series: Frontiers in artificial intelligence and applications: v. 91.; Frontiers in artificial intelligence and applications: Publisher: Amsterdam ; Oxford : IOS Press, c2003Description: xviii, 204 p. : ill.Subject(s): Integrated circuits -- Mathematical models | Digital electronicsGenre/Form: Electronic books. DDC classification: 621.395 Online resources: An electronic book accessible through the World Wide Web; click to view Dissertation note: Thesis (Ph. D.)--UNL/FCT.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 621.395 (Browse shelf) | Available |
Thesis (Ph. D.)--UNL/FCT.
Includes bibliographical references and index.
TSLHHL
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.