LEADER 02104nam  2200613Ia 450 
001 9910780287803321
005 20230617012630.0
010   $a1-280-50577-X
010   $a1-60129-412-3
010   $a600-00-0377-3
010   $a9786610505777
035   $a(CKB)111082128295642
035   $a(OCoLC)53011694
035   $a(CaPaEBR)ebrary10116478
035   $a(SSID)ssj0000129244
035   $a(PQKBManifestationID)11139856
035   $a(PQKBTitleCode)TC0000129244
035   $a(PQKBWorkID)10069695
035   $a(PQKB)10527541
035   $a(MiAaPQ)EBC267482
035   $a(Au-PeEL)EBL267482
035   $a(CaPaEBR)ebr10116478
035   $a(CaONFJC)MIL50577
035   $a(OCoLC)814456826
035   $a(EXLCZ)99111082128295642
100   $a20021001d2003      uy             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aConstraint solving over multi-valued logics$b[electronic resource] $eapplication to digital circuits /$fFrancisco Azevedo
210   $aAmsterdam ;$aOxford $cIOS Press$dc2003
215   $a1 online resource (223 p.)
225 1 $aFrontiers in artificial intelligence and applications,$x0922-6389 ;$vv. 91.$aDissertations in artificial intelligence
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-58603-304-2 
311   $a0-585-45860-X 
320   $aIncludes bibliographical references and index.
410  0$aFrontiers in artificial intelligence and applications ;$vv. 91.
410  0$aFrontiers in artificial intelligence and applications.$pDissertations in artificial intelligence.
606   $aIntegrated circuits$xMathematical models
606   $aDigital electronics
615  0$aIntegrated circuits$xMathematical models.
615  0$aDigital electronics.
676   $a621.395
700   $aAzevedo$b Francisco$01554763
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910780287803321
996   $aConstraint solving over multi-valued logics$93816253
997   $aUNINA