Sauras Altuzarra, L. (2019, September 26). Hilbert’s 10th problem [Conference Presentation]. 15th International Tbilisi Summer School in Logic and Language, I.J.Tbilisi State University, Georgia. http://hdl.handle.net/20.500.12708/154209
15th International Tbilisi Summer School in Logic and Language
-
Veranstaltungszeitraum:
23-Sep-2019 - 27-Sep-2019
-
Veranstaltungsort:
I.J.Tbilisi State University, Georgien
-
Keywords:
Hilbert
-
Projekttitel:
The Fine Structure of Formal Proof Systems and their Computational Interpretations - nationale Forschungspartnerschaft mit Georg Moser/Universität Innsbruck: I 2671-N35 (FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF))