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