Matches in Library of Congress for { <http://lccn.loc.gov/2006930253> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- 2006930253 alternative "SAT 2006".
- 2006930253 contributor B10740972.
- 2006930253 contributor B10740973.
- 2006930253 created "c2006.".
- 2006930253 date "2006".
- 2006930253 date "c2006.".
- 2006930253 dateCopyrighted "c2006.".
- 2006930253 description "Includes bibliographical references and index.".
- 2006930253 extent "xii, 438 p. :".
- 2006930253 hasFormat "Also issued online.".
- 2006930253 identifier "3540372067".
- 2006930253 identifier "9783540372066".
- 2006930253 identifier 2006930253-d.html.
- 2006930253 identifier 2006930253.html.
- 2006930253 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4121.
- 2006930253 isFormatOf "Also issued online.".
- 2006930253 isPartOf "Lecture notes in computer science, 0302-9743 ; 4121".
- 2006930253 issued "2006".
- 2006930253 issued "c2006.".
- 2006930253 language "eng".
- 2006930253 publisher "Berlin ; New York : Springer,".
- 2006930253 relation "Also issued online.".
- 2006930253 subject "511.3 22".
- 2006930253 subject "Algebra, Boolean Congresses.".
- 2006930253 subject "Computer algorithms Congresses.".
- 2006930253 subject "Decision making Congresses.".
- 2006930253 subject "Propositional calculus Congresses.".
- 2006930253 subject "QA9.3 .S3654 2006".
- 2006930253 subject "Satisfiability testing".
- 2006930253 title "SAT 2006".
- 2006930253 title "Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.).".
- 2006930253 type "text".