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