Matches in Library of Congress for { <http://lccn.loc.gov/2005929197> ?p ?o. }
Showing items 1 to 43 of
43
with 100 items per page.
- 2005929197 alternative "20th International Conference on Automated Deduction".
- 2005929197 alternative "Automated deduction : CADE-20".
- 2005929197 alternative "CADE 2005".
- 2005929197 alternative "CADE-20".
- 2005929197 alternative "CADE-twenty".
- 2005929197 alternative "International Conference on Automated Deduction".
- 2005929197 alternative "Twentieth International Conference on Automated Deduction".
- 2005929197 contributor B10397390.
- 2005929197 contributor B10397391.
- 2005929197 created "2005.".
- 2005929197 date "2005".
- 2005929197 date "2005.".
- 2005929197 dateCopyrighted "2005.".
- 2005929197 description "Includes bibliographical references and index.".
- 2005929197 extent "xiii, 457 p. :".
- 2005929197 hasFormat "Also available on the World Wide Web.".
- 2005929197 identifier "3540280057 (pbk.)".
- 2005929197 identifier "9783540280057".
- 2005929197 identifier 2005929197-d.html.
- 2005929197 identifier 2005929197.html.
- 2005929197 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3632.
- 2005929197 isFormatOf "Also available on the World Wide Web.".
- 2005929197 isPartOf "Lecture notes in computer science ; 3632.".
- 2005929197 isPartOf "Lecture notes in computer science, 0302-9743 ; 3632. Lecture notes in artificial intelligence".
- 2005929197 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2005929197 issued "2005".
- 2005929197 issued "2005.".
- 2005929197 language "eng".
- 2005929197 publisher "Berlin ; New York : Springer,".
- 2005929197 relation "Also available on the World Wide Web.".
- 2005929197 subject "006.3 22".
- 2005929197 subject "Automatic theorem proving Congresses.".
- 2005929197 subject "Logic, Symbolic and mathematical Congresses.".
- 2005929197 subject "QA76.9.A96 I57 2005".
- 2005929197 title "20th International Conference on Automated Deduction".
- 2005929197 title "Automated deduction : CADE-20".
- 2005929197 title "Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (ed.).".
- 2005929197 title "CADE 2005".
- 2005929197 title "CADE-20".
- 2005929197 title "CADE-twenty".
- 2005929197 title "International Conference on Automated Deduction".
- 2005929197 title "Twentieth International Conference on Automated Deduction".
- 2005929197 type "text".