Matches in Library of Congress for { <http://lccn.loc.gov/93005923> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 93005923 contributor B6896622.
- 93005923 contributor B6896623.
- 93005923 contributor B6896624.
- 93005923 created "1993.".
- 93005923 date "1993".
- 93005923 date "1993.".
- 93005923 dateCopyrighted "1993.".
- 93005923 description "Includes bibliographical references.".
- 93005923 extent "xi, 348 p. :".
- 93005923 identifier "0387571841".
- 93005923 isPartOf "Lecture notes in computer science ; 713".
- 93005923 issued "1993".
- 93005923 issued "1993.".
- 93005923 language "eng".
- 93005923 publisher "Berlin ; New York : Springer-Verlag,".
- 93005923 subject "511.3 20".
- 93005923 subject "Automatic theorem proving Congresses.".
- 93005923 subject "Logic, Symbolic and mathematical Congresses.".
- 93005923 subject "QA76.9.A96 K87 1993".
- 93005923 title "Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.".
- 93005923 type "text".