Matches in Library of Congress for { <http://lccn.loc.gov/2007930705> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- 2007930705 alternative "21st International Conference on Automated Deduction".
- 2007930705 alternative "Automated deduction".
- 2007930705 alternative "CADE-21".
- 2007930705 alternative "CADE-twenty-one".
- 2007930705 alternative "International Conference on Automated Deduction".
- 2007930705 alternative "Twenty-first International Conference on Automated Deduction".
- 2007930705 contributor B11061611.
- 2007930705 contributor B11061612.
- 2007930705 created "c2007.".
- 2007930705 date "2007".
- 2007930705 date "c2007.".
- 2007930705 dateCopyrighted "c2007.".
- 2007930705 description "Includes bibliographical references and index.".
- 2007930705 extent "xii, 522 p. :".
- 2007930705 identifier "3540735941 (pbk.)".
- 2007930705 identifier "9783540735946 (pbk.)".
- 2007930705 identifier 2007930705.html.
- 2007930705 isPartOf "Lecture notes in computer science ; 4603.".
- 2007930705 isPartOf "Lecture notes in computer science, 0302-9743 ; 4603. Lecture notes in artificial intelligence".
- 2007930705 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2007930705 issued "2007".
- 2007930705 issued "c2007.".
- 2007930705 language "eng".
- 2007930705 publisher "Berlin ; New York : Springer,".
- 2007930705 subject "511.3 22".
- 2007930705 subject "Automatic theorem proving Congresses.".
- 2007930705 subject "Logic, Symbolic and mathematical Congresses.".
- 2007930705 subject "QA76.9.A96 I57 2007".
- 2007930705 title "21st International Conference on Automated Deduction".
- 2007930705 title "Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings / Frank Pfenning (ed.).".
- 2007930705 title "Automated deduction".
- 2007930705 title "CADE-21".
- 2007930705 title "CADE-twenty-one".
- 2007930705 title "International Conference on Automated Deduction".
- 2007930705 title "Twenty-first International Conference on Automated Deduction".
- 2007930705 type "text".