Matches in Library of Congress for { <http://lccn.loc.gov/2011928785> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2011928785 alternative "SAT 2011".
- 2011928785 contributor B12417187.
- 2011928785 contributor B12417188.
- 2011928785 created "2011.".
- 2011928785 date "2011".
- 2011928785 date "2011.".
- 2011928785 dateCopyrighted "2011.".
- 2011928785 description "Includes bibliographical references and author index.".
- 2011928785 extent "xii, 380 p. :".
- 2011928785 identifier "3642215807 (soft cover : alk. paper)".
- 2011928785 identifier "9783642215803 (soft cover : alk. paper)".
- 2011928785 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2011928785 isPartOf "Lecture notes in computer science, 0302-9743 ; 6695".
- 2011928785 issued "2011".
- 2011928785 issued "2011.".
- 2011928785 language "eng".
- 2011928785 publisher "Berlin ; New York : Springer,".
- 2011928785 subject "Computer algorithms Congresses.".
- 2011928785 subject "Computer software Verification Congresses.".
- 2011928785 subject "Propositional calculus Congresses.".
- 2011928785 subject "QA9.3 .S3656 2011".
- 2011928785 title "SAT 2011".
- 2011928785 title "Theory and application of satisfiability testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / [edited by] Karem A. Sakallah, Laurent Simon.".
- 2011928785 type "text".