Matches in Library of Congress for { <http://lccn.loc.gov/2001054999> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2001054999 contributor B8961068.
- 2001054999 contributor B8961069.
- 2001054999 created "c2001.".
- 2001054999 date "2001".
- 2001054999 date "c2001.".
- 2001054999 dateCopyrighted "c2001.".
- 2001054999 description "Includes bibliographical references and index.".
- 2001054999 extent "viii, 238 p. :".
- 2001054999 identifier "354042752X (softcover : alk. paper)".
- 2001054999 identifier 2001054999-d.html.
- 2001054999 isPartOf "Lecture notes in computer science ; 2183".
- 2001054999 issued "2001".
- 2001054999 issued "c2001.".
- 2001054999 language "eng".
- 2001054999 publisher "Berlin ; New York : Springer,".
- 2001054999 subject "004/.01/5113 21".
- 2001054999 subject "Automatic theorem proving Congresses.".
- 2001054999 subject "QA76.9.A96 P753 2001".
- 2001054999 title "Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.).".
- 2001054999 type "text".