Website Search
Find information on spaces, staff, and services.
Find information on spaces, staff, and services.
| LEADER | 01518cam a2200409Ia 4500 | |
| 001 | 9979657643602122 | |
| 005 | 20090529182548.0 | |
| 008 | 081220t20092009ne a b 001 0 eng d | |
| 020 | $a9781586039295 | |
| 020 | $a1586039296 | |
| 035 | $a(OCoLC)ocn290492523 | |
| 035 | $a(WU)7965764-uwmadisondb | |
| 035 | $a(EXLNZ-01UWI_NETWORK)9910070906402121 | |
| 040 | $aBTCTA$beng$cBTCTA$dYDXCP$dBWX$dYOU$dTXA$dGZM | |
| 049 | $aGZMA | |
| 050 | _4 | $aQA9.3$b.H36 2009 |
| 245 | 00 | $aHandbook of satisfiability /$cedited by Armin Biere ... [and others]. |
| 264 | _1 | $aAmsterdam, The Netherlands ;$aWashington, DC :$bIOS Press,$c[2009] |
| 264 | _4 | $c©2009 |
| 300 | $axiii, 966 pages :$billustrations ;$c25 cm. | |
| 336 | $atext$btxt$2rdacontent | |
| 337 | $aunmediated$bn$2rdamedia | |
| 338 | $avolume$bnc$2rdacarrier | |
| 490 | 1_ | $aFrontiers in artificial intelligence and applications,$x0922-6389 ;$vv. 185 |
| 504 | $aIncludes bibliographical references and indexes. | |
| 650 | _0 | $aPropositional calculus$vCongresses. |
| 650 | _0 | $aDecision making$vCongresses. |
| 650 | _0 | $aComputer algorithms$vCongresses. |
| 650 | _0 | $aAlgebra, Boolean$vCongresses. |
| 700 | 1_ | $aBiere, Armin. |
| 830 | _0 | $aFrontiers in artificial intelligence and applications ;$vv. 185. |
| 938 | $aBaker and Taylor$bBTCP$nBK0008116211 | |
| 938 | $aYBP Library Services$bYANK$n2928642 | |
| 938 | $aBlackwell Book Service$bBBUS$nR5768080$c$195.00 | |
| 949 | $a20090529$bsas$cc$dnt$ep$fcall:n$grepl:n$hgls | |
| 959 | $aON RESERVE | |
| 994 | $aC0$bGZM | |
| 997 | $aMARCIVE | |