Matches in Library of Congress for { <http://lccn.loc.gov/2005921072> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2005921072 contributor B10390788.
- 2005921072 created "2005.".
- 2005921072 date "2005".
- 2005921072 date "2005.".
- 2005921072 dateCopyrighted "2005.".
- 2005921072 description "Includes bibliographical references and index.".
- 2005921072 extent "ix, 563 p. :".
- 2005921072 hasFormat "Also issued online.".
- 2005921072 identifier "3540250514 (pbk.)".
- 2005921072 identifier "9783540250517".
- 2005921072 identifier openurl.asp?genre=issue&issn=0302-9743&volume=2605.
- 2005921072 identifier 2005921072-d.html.
- 2005921072 isFormatOf "Also issued online.".
- 2005921072 isPartOf "Lecture notes in artifical intelligence.".
- 2005921072 isPartOf "Lecture notes in computer science ; 2605.".
- 2005921072 isPartOf "Lecture notes in computer science, 0302-9743 ; 2605. Lecture notes in artifical intelligence".
- 2005921072 issued "2005".
- 2005921072 issued "2005.".
- 2005921072 language "eng".
- 2005921072 publisher "Berlin ; New York : Springer,".
- 2005921072 relation "Also issued online.".
- 2005921072 subject "511.3/6/028563 22".
- 2005921072 subject "Automatic theorem proving.".
- 2005921072 subject "Logic, Symbolic and mathematical.".
- 2005921072 subject "QA76.9.A96 M43 2005".
- 2005921072 subject "Reasoning Automation.".
- 2005921072 subject "Reasoning Technique.".
- 2005921072 title "Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).".
- 2005921072 type "text".