Matches in Library of Congress for { <http://lccn.loc.gov/97030098> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 97030098 contributor B8058637.
- 97030098 contributor B8058638.
- 97030098 contributor B8058639.
- 97030098 created "c1997.".
- 97030098 date "1997".
- 97030098 date "c1997.".
- 97030098 dateCopyrighted "c1997.".
- 97030098 description "Includes bibliographical references.".
- 97030098 extent "viii, 348 p. :".
- 97030098 identifier "3540633855 (pbk. : alk. paper)".
- 97030098 identifier 97030098-d.html.
- 97030098 isPartOf "Lecture notes in computer science, 0302-9743 ; 1289".
- 97030098 issued "1997".
- 97030098 issued "c1997.".
- 97030098 language "eng".
- 97030098 publisher "Berlin ; New York : Springer,".
- 97030098 subject "511.3 21".
- 97030098 subject "Automatic theorem proving Congresses.".
- 97030098 subject "Logic, Symbolic and mathematical Congresses.".
- 97030098 subject "QA76.9.A96 K87 1997".
- 97030098 title "Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).".
- 97030098 type "text".