| Record ID | marc_loc_2016/BooksAll.2016.part33.utf8:84205930:1444 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part33.utf8:84205930:1444?format=raw |
LEADER: 01444cam a22003617a 4500
001 2005928808
003 DLC
005 20060818091710.0
008 050608s2005 gw a ba 101 0 eng d
010 $a 2005928808
020 $a354027829X (pbk.)
024 3 $a9783540278290
035 $a(CStRLIN)PAUGV3891009-B
035 $a(PU)3891009
040 $aOHX$cOHX$dCUS$dZCU$dC$Q$dBAKER$dDLC
042 $alccopycat
050 00 $aQA9.3$b.S3652 2004
082 00 $a511.3$222
111 2 $aSAT 2004$d(2004 :$cVancouver, B.C.)
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 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v3542
504 $aIncludes bibliographical references and index.
650 0 $aPropositional calculus$vCongresses.
650 0 $aAlgebra, Boolean$vCongresses.
650 0 $aComputer algorithms$vCongresses.
650 0 $aDecision making$vCongresses.
700 1 $aHoos, Holger H.
700 1 $aMitchell, David G.,$cPh. D.
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/toc/fy0609/2005928808.html
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2005928808-d.html