Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Identifiers

Open LibraryOL710909A

Top Subjects

Logic, Symbolic and mathematical -- Congresses. (1)
Automatic theorem proving -- Congresses. (1)

Books by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Total count: 1

Computational logic and proof theoryThird Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings

Springer-Verlag1993-01-01