Computational logic and proof theory
Computational logic and proof theory
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Alexander Leitsch, Georg Gottlob
Details
- OL Work ID
- OL3907286W
Subjects
Automatic theorem provingCongressesSymbolic and mathematical Logic