01586nam a2200349Ia 4500001001200000003000800012006001900020007001500039008004100054010001700095020002700112020002400139040002100163035002000184050002400204082001600228100002400244245012800268260004600396300002600442490012200468502003000590504005100620533015200671650004600823650002500869655002900894710001700923830006800940830010201008856012601110ebr10116478CaPaEBRm        u        cr cn|||||||||021001s2003    ne a    sb    001 0 eng d  z  2002113947  z1586033042 (IOS Press)  z4274905551 (Ohmsha)  aCaPaEBRcCaPaEBR  a(OCoLC)5301169414aTK7874b.A94 2003eb04a621.3952221 aAzevedo, Francisco.10aConstraint solving over multi-valued logicsh[electronic resource] :bapplication to digital circuits /cFrancisco Azevedo.  aAmsterdam ;aOxford :bIOS Press,cc2003.  axviii, 204 p. :bill.1 aFrontiers in artificial intelligence and applications,x0922-6389 ;vv. 91.aDissertations in artificial intelligence  aThesis (Ph. D.)--UNL/FCT.  aIncludes bibliographical references and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2009.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aIntegrated circuitsxMathematical models. 0aDigital electronics. 7aElectronic books.2local2 aebrary, Inc. 0aFrontiers in artificial intelligence and applications ;vv. 91. 0aFrontiers in artificial intelligence and applications.pDissertations in artificial intelligence.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10116478zAn electronic book accessible through the World Wide Web; click to view