02104nam 2200613Ia 450 991078028780332120230617012630.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 electronicsIntegrated circuitsMathematical models.Digital electronics.621.395Azevedo Francisco1554763MiAaPQMiAaPQMiAaPQBOOK9910780287803321Constraint solving over multi-valued logics3816253UNINA