Matches in Library of Congress for { <http://lccn.loc.gov/2005928808> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2005928808 alternative "SAT 2004".
- 2005928808 contributor B10397055.
- 2005928808 contributor B10397056.
- 2005928808 created "2005.".
- 2005928808 date "2005".
- 2005928808 date "2005.".
- 2005928808 dateCopyrighted "2005.".
- 2005928808 description "Includes bibliographical references and index.".
- 2005928808 extent "xiii, 392 p. :".
- 2005928808 identifier "354027829X (pbk.)".
- 2005928808 identifier "9783540278290".
- 2005928808 identifier 2005928808-d.html.
- 2005928808 identifier 2005928808.html.
- 2005928808 isPartOf "Lecture notes in computer science, 0302-9743 ; 3542".
- 2005928808 issued "2005".
- 2005928808 issued "2005.".
- 2005928808 language "eng".
- 2005928808 publisher "Berlin ; New York : Springer,".
- 2005928808 subject "511.3 22".
- 2005928808 subject "Algebra, Boolean Congresses.".
- 2005928808 subject "Computer algorithms Congresses.".
- 2005928808 subject "Decision making Congresses.".
- 2005928808 subject "Propositional calculus Congresses.".
- 2005928808 subject "QA9.3 .S3652 2004".
- 2005928808 title "SAT 2004".
- 2005928808 title "Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.).".
- 2005928808 type "text".