Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
Material type: TextSeries: Frontiers in artificial intelligence and applications ; v. 91. | Frontiers in artificial intelligence and applicationsDissertations in artificial intelligencePublication details: Amsterdam ; Oxford : IOS Press, c2003Description: xviii, 204 p. : illSubject(s): Integrated circuits -- Mathematical models | Digital electronicsGenre/Form: Electronic books.DDC classification: 621.395 LOC classification: TK7874 | .A94 2003Online resources: Click to View Dissertation note: Thesis (Ph. D.)--UNL/FCT.No physical items for this record
Thesis (Ph. D.)--UNL/FCT.
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
There are no comments on this title.