Reinhard Kahle
Reinhard Kahle
7 ספרים במאגר
ספרים
Proof theory in computer scienceReinhard Kahle
Proof theory in computer science
Reinhard Kahle · 2001
Advances in Proof TheoryReinhard Kahle
Advances in Proof Theory
Reinhard Kahle · 2016
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)Reinhard Kahle
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
Reinhard Kahle · 2005
IntensionalityReinhard Kahle
Intensionality
Reinhard Kahle · 2005
VerantwortungReinhard Kahle
Verantwortung
Reinhard Kahle · 2021
The Legacy of Kurt SchütteReinhard Kahle
The Legacy of Kurt Schütte
Reinhard Kahle · 2021
Gentzen's CentenaryReinhard Kahle
Gentzen's Centenary
Reinhard Kahle · 2015
ספרים משותפים ואוספים
ספרים שבהם Reinhard Kahle מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Axiomatic Thinking IIFernando Ferreira
Axiomatic Thinking II
Fernando Ferreira · 2021
Axiomatic Thinking IFernando Ferreira
Axiomatic Thinking I
Fernando Ferreira · 2021
Limits of AI - Theoretical, Practical, EthicalKlaus Mainzer
Limits of AI - Theoretical, Practical, Ethical
Klaus Mainzer · 2024
Computer Science LogicErich Grädel
Computer Science Logic
Erich Grädel · 2009