This VIAF Cluster has been deleted. It is no longer part of VIAF.
Gottlob, Georg (1956- ). | Computational Logic and Proof Theory Third Kurt Godel Colloquium, Kgc '93, Brno, Czech Republic, August 24-27, 1993 - Proceedings
VIAF ID: 314216763 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314216763
Preferred Forms
4xx's: Alternate Name Forms (2)
Selected Titles
Author
:
Gottlob, Georg