Reinhard Josef Klaus Kahle
AuthID: R-000-F9J
1
TITLE: In Praise of the Habilitation Full Text
AUTHORS: Reinhard Kahle;
PUBLISHED: 2024, SOURCE: NTM, VOLUME: 32, ISSUE: 3
AUTHORS: Reinhard Kahle;
PUBLISHED: 2024, SOURCE: NTM, VOLUME: 32, ISSUE: 3
2
TITLE: 90 years of Gödel's incompleteness theorems: Logic and computation
AUTHORS: Matthias Baaz; Marcel Ertel; Reinhard Kahle; Thomas Piecha; Jan von Plato;
PUBLISHED: 2024, SOURCE: J. Log. Comput., VOLUME: 34, ISSUE: 6
AUTHORS: Matthias Baaz; Marcel Ertel; Reinhard Kahle; Thomas Piecha; Jan von Plato;
PUBLISHED: 2024, SOURCE: J. Log. Comput., VOLUME: 34, ISSUE: 6
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Zukunft der KI: Verantwortung und Vertrauen
AUTHORS: Reinhard Kahle;
PUBLISHED: 2023, SOURCE: 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future - Zukünfte gestalten, Berlin, Germany September 26-29, 2023, VOLUME: P-337
AUTHORS: Reinhard Kahle;
PUBLISHED: 2023, SOURCE: 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future - Zukünfte gestalten, Berlin, Germany September 26-29, 2023, VOLUME: P-337
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Preface
AUTHORS: Ferreira, F; Reinhard Kahle; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking II
AUTHORS: Ferreira, F; Reinhard Kahle; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking II
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID5
6
TITLE: Proof Theory in Computer Science. International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
AUTHORS: Reinhard Kahle; Peter Schroeder Heister;
PUBLISHED: 2001
AUTHORS: Reinhard Kahle; Peter Schroeder Heister;
PUBLISHED: 2001
INDEXED IN: 
Openlibrary
Openlibrary