Matches in Library of Congress for { <http://lccn.loc.gov/2004041323> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2004041323 contributor B9843960.
- 2004041323 contributor B9843961.
- 2004041323 created "c2004.".
- 2004041323 date "2004".
- 2004041323 date "c2004.".
- 2004041323 dateCopyrighted "c2004.".
- 2004041323 description "Includes bibliographical references and index.".
- 2004041323 extent "xi, 530 p. :".
- 2004041323 identifier "3540208518 (softcover : alk. paper)".
- 2004041323 identifier 2004041323-d.html.
- 2004041323 isPartOf "Lecture notes in computer science, 0302-9743 ; 2919".
- 2004041323 issued "2004".
- 2004041323 issued "c2004.".
- 2004041323 language "eng".
- 2004041323 publisher "Berlin ; New York : Springer,".
- 2004041323 subject "511.3 22".
- 2004041323 subject "Computer algorithms Congresses.".
- 2004041323 subject "Decision making Congresses.".
- 2004041323 subject "Propositional calculus Congresses.".
- 2004041323 subject "QA9.3 .S365 2003".
- 2004041323 title "Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).".
- 2004041323 type "text".