02137nam 2200625Ia 450 991045598400332120200520144314.01-280-50577-X1-60129-412-3600-00-0377-39786610505777(CKB)111082128295642(OCoLC)53011694(CaPaEBR)ebrary10116478(SSID)ssj0000129244(PQKBManifestationID)11139856(PQKBTitleCode)TC0000129244(PQKBWorkID)10069695(PQKB)10527541(MiAaPQ)EBC267482(Au-PeEL)EBL267482(CaPaEBR)ebr10116478(CaONFJC)MIL50577(OCoLC)814456826(EXLCZ)9911108212829564220021001d2003 uy 0engurcn|||||||||txtccrConstraint solving over multi-valued logics[electronic resource] application to digital circuits /Francisco AzevedoAmsterdam ;Oxford IOS Pressc20031 online resource (223 p.)Frontiers in artificial intelligence and applications,0922-6389 ;v. 91.Dissertations in artificial intelligenceBibliographic Level Mode of Issuance: Monograph1-58603-304-2 0-585-45860-X Includes bibliographical references and index.Frontiers in artificial intelligence and applications ;v. 91.Frontiers in artificial intelligence and applications.Dissertations in artificial intelligence.Integrated circuitsMathematical modelsDigital electronicsElectronic books.Integrated circuitsMathematical models.Digital electronics.621.395Azevedo Francisco857270MiAaPQMiAaPQMiAaPQBOOK9910455984003321Constraint solving over multi-valued logics1914200UNINA