Matches in Library of Congress for { <http://lccn.loc.gov/2010929579> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2010929579 contributor B12090741.
- 2010929579 contributor B12090742.
- 2010929579 created "2010.".
- 2010929579 date "2010".
- 2010929579 date "2010.".
- 2010929579 dateCopyrighted "2010.".
- 2010929579 description "Includes bibliographical references and index.".
- 2010929579 extent "xiii, 400 p. :".
- 2010929579 identifier "3642141854".
- 2010929579 identifier "9783642141850".
- 2010929579 identifier 2010929579-d.html.
- 2010929579 isPartOf "LNCS sublibrary. SL 1 Theoretical computer science and general issues.".
- 2010929579 isPartOf "LNCS sublibrary: SL 1 -- Theoretical computer science and general issues".
- 2010929579 isPartOf "Lecture notes in computer science ; 6175.".
- 2010929579 isPartOf "Lecture notes in computer science, 0302-9743 ; 6175".
- 2010929579 issued "2010".
- 2010929579 issued "2010.".
- 2010929579 language "eng".
- 2010929579 publisher "Berlin : Springer,".
- 2010929579 subject "Computer algorithms Congresses.".
- 2010929579 subject "Decision making Congresses.".
- 2010929579 subject "Propositional calculus Congresses.".
- 2010929579 subject "QA9.3 .S3655 2010".
- 2010929579 title "Theory and applications of satisfiability testing-- SAT 2010 : 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings / Ofer Strichman, Stefan Szeider (eds.).".
- 2010929579 type "text".