Matches in Library of Congress for { <http://lccn.loc.gov/2009933172> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2009933172 contributor B11728987.
- 2009933172 contributor B11728988.
- 2009933172 date "2009".
- 2009933172 description "Includes bibliographical references.".
- 2009933172 extent "xii, 540 pages :".
- 2009933172 identifier "3642027768 (pbk. : acid-free paper)".
- 2009933172 identifier "9783642027765 (pbk. : acid-free paper)".
- 2009933172 isPartOf "LNCS sublibrary: SL 1, Theoretical computer science and general issue".
- 2009933172 isPartOf "Lecture notes in computer science, 0302-9743 ; 5584".
- 2009933172 issued "2009".
- 2009933172 language "eng".
- 2009933172 subject "Algebra, Boolean Congresses.".
- 2009933172 subject "Computer algorithms Congresses.".
- 2009933172 subject "Decision making Congresses.".
- 2009933172 subject "Propositional calculus Congresses.".
- 2009933172 subject "QA9.3 .S3657 2009".
- 2009933172 title "Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 : proceedings / Oliver Kullmann (ed.).".
- 2009933172 type "text".