Matches in Library of Congress for { <http://lccn.loc.gov/2005927321> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2005927321 alternative "SAT 2005".
- 2005927321 contributor B10395862.
- 2005927321 contributor B10395863.
- 2005927321 created "2005.".
- 2005927321 date "2005".
- 2005927321 date "2005.".
- 2005927321 dateCopyrighted "2005.".
- 2005927321 description "Includes bibliographical references and index.".
- 2005927321 extent "xii, 492 p. :".
- 2005927321 hasFormat "Also issued online.".
- 2005927321 identifier "3540262768 (pbk.)".
- 2005927321 identifier "9783540262763".
- 2005927321 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3569.
- 2005927321 identifier 2005927321-d.html.
- 2005927321 identifier 2005927321.html.
- 2005927321 isFormatOf "Also issued online.".
- 2005927321 isPartOf "Lecture notes in computer science, 0302-9743 ; 3569".
- 2005927321 issued "2005".
- 2005927321 issued "2005.".
- 2005927321 language "eng".
- 2005927321 publisher "Berlin ; New York : Springer,".
- 2005927321 relation "Also issued online.".
- 2005927321 subject "511.3 22".
- 2005927321 subject "Computer algorithms Congresses.".
- 2005927321 subject "Decision making Congresses.".
- 2005927321 subject "Propositional calculus Congresses.".
- 2005927321 subject "QA9.3 .S3653 2005".
- 2005927321 title "SAT 2005".
- 2005927321 title "Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.).".
- 2005927321 type "text".