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
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Shelf location | Call number | Materials specified | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| E-Book | Taylor's Library-TU | 621.395 (Browse shelf(Opens below)) | e-book |
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.