Matches in Library of Congress for { <http://lccn.loc.gov/2008925418> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2008925418 alternative "SAT 2008".
- 2008925418 alternative "Satisfiability testing".
- 2008925418 contributor B11379919.
- 2008925418 contributor B11379920.
- 2008925418 created "c2008.".
- 2008925418 date "2008".
- 2008925418 date "c2008.".
- 2008925418 dateCopyrighted "c2008.".
- 2008925418 description "Includes bibliographical references and index.".
- 2008925418 extent "x, 304, [1] p. :".
- 2008925418 identifier "3540797181 (softcover : alk. paper)".
- 2008925418 identifier "9783540797180 (softcover : alk. paper)".
- 2008925418 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2008925418 isPartOf "Lecture notes in computer science, 0302-9743 ; 4996".
- 2008925418 issued "2008".
- 2008925418 issued "c2008.".
- 2008925418 language "eng".
- 2008925418 publisher "Berlin ; New York : Springer,".
- 2008925418 subject "511.3/24 22".
- 2008925418 subject "Algebra, Boolean Congresses.".
- 2008925418 subject "Computer algorithms Congresses.".
- 2008925418 subject "Decision making Congresses.".
- 2008925418 subject "Propositional calculus Congresses.".
- 2008925418 subject "QA9.3 .S3654 2008".
- 2008925418 title "SAT 2008".
- 2008925418 title "Satisfiability testing".
- 2008925418 title "Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.)".
- 2008925418 type "text".