Reinhard Kahle Books

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
2025
Intensionality Intensionality
Intensionality
2005
Limits of AI - theoretical, practical, ethical Limits of AI - theoretical, practical, ethical
Limits of AI - theoretical, practical, ethical
2024
Axiomatic Thinking I Axiomatic Thinking I
Axiomatic Thinking I
2022
Axiomatic Thinking II Axiomatic Thinking II
Axiomatic Thinking II
2022
Grenzen der KI – theoretisch, praktisch, ethisch Grenzen der KI – theoretisch, praktisch, ethisch
Grenzen der KI – theoretisch, praktisch, ethisch
2022
Advances in Proof Theory Advances in Proof Theory
Advances in Proof Theory
2016
Gentzen's Centenary Gentzen's Centenary
Gentzen's Centenary
2015