Skip to content
Vinony

Computational logic and proof theory

by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob, Alexander Leitsch

Cover of Computational logic and proof theory

"The Third Kurt G

Automatic theorem provingCongressesSymbolic and mathematical Logic