| Record ID | marc_columbia/Columbia-extract-20221130-011.mrc:229872937:1635 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-011.mrc:229872937:1635?format=raw |
LEADER: 01635cam a2200373Ia 4500
001 5374810
005 20221110030716.0
008 050722s2005 gw a b 101 0 eng d
010 $a 2005928808
020 $a354027829X (pbk.)
024 3 $a9783540278290
035 $a(OCoLC)ocm61133263
035 $a(NNC)5374810
035 $a5374810
040 $aOHX$cOHX$dCUS$dZCU
072 7 $aQA$2lcco
090 $aQA9.3$b.S365 2004
111 2 $aSAT 2004$d(2004 :$cVancouver, B.C.)$0http://id.loc.gov/authorities/names/nb2005011337
245 10 $aTheory and applications of satisfiability testing :$b7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers /$cHolger H. Hoos, David G. Mitchell (eds.).
246 30 $aSAT 2004
260 $aBerlin ;$aNew York :$bSpringer,$c2005.
300 $axiii, 392 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v3542
504 $aIncludes bibliographical references and index.
650 0 $aPropositional calculus$vCongresses.
650 0 $aAlgebra, Boolean$vCongresses.
650 0 $aComputer algorithms$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008101223
650 0 $aDecision making$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008102117
700 1 $aHoos, Holger H.$0http://id.loc.gov/authorities/names/no2004010667
700 1 $aMitchell, David G.,$d1957-
830 0 $aLecture notes in computer science ;$v3542.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA9.3$i.S365 2004g