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 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 2003
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Ebook | TUS: Midlands, Main Library Athlone Online | eBook (Browse shelf(Opens below)) | Available |
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.