Record link: 
http://hdl.handle.net/20.500.12708/154209
-
Title: 
Hilbert's 10th problem
-
Citation: 
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
-
Publication Type: 
Presentation - Conference Presentation
en
Language: 
English
-
Authors: 
Sauras Altuzarra, Lorenzo 
-
Organisational Unit: 
E104-02 - Forschungsbereich Computational Logic 
-
Date (published): 
26-Sep-2019
-
Event name: 
15th International Tbilisi Summer School in Logic and Language 
-
Event date: 
23-Sep-2019 - 27-Sep-2019
-
Event place: 
I.J.Tbilisi State University, Georgia
-
Keywords: 
Hilbert
-
Project title: 
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)) 
-
Research Areas: 
Mathematical and Algorithmic Foundations: 100%
-
Science Branch: 
1010 - Mathematik: 100%
-
Appears in Collections:
Presentation

Show full item record

Page view(s)

52
checked on Dec 1, 2023

Google ScholarTM

Check