Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings

From MaRDI portal

(Redirected from Publication:1365518)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Computational_logic_and_proof_theory._5th_Kurt_Gödel_Colloquium,_KGC_%2797._Vienna,_Austria._August_25--29,_1997._Proceedings&oldid=70767750"