Matches in Library of Congress for { <http://lccn.loc.gov/2007398861> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2007398861 alternative "Journal of automated reasoning. Vol. 35, no. 1-3.".
- 2007398861 alternative "Satisfiability research in the year 2005".
- 2007398861 contributor B10922357.
- 2007398861 created "c2006.".
- 2007398861 date "2006".
- 2007398861 date "c2006.".
- 2007398861 dateCopyrighted "c2006.".
- 2007398861 description "Includes bibliographical references.".
- 2007398861 extent "293 p. :".
- 2007398861 identifier "1402045522 (hb)".
- 2007398861 identifier "9781402045523 (hb)".
- 2007398861 identifier 2007398861-d.html.
- 2007398861 identifier 2007398861.html.
- 2007398861 issued "2006".
- 2007398861 issued "c2006.".
- 2007398861 language "eng".
- 2007398861 publisher "Dordrecht : Springer,".
- 2007398861 subject "Computational complexity.".
- 2007398861 subject "Computer algorithms.".
- 2007398861 subject "Propositional calculus.".
- 2007398861 subject "QA76.9.A43 S28 2006".
- 2007398861 title "SAT 2005 : satisfiability research in the year 2005 / edited by Enrico Giunchiglia and Toby Walsh.".
- 2007398861 title "Satisfiability research in the year 2005".
- 2007398861 type "text".