Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 110



31
TÍTULO: Lorenzen Between Gentzen and Schütte
AUTORES: Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2021, FONTE: Logic, Epistemology, and the Unity of Science, VOLUME: 51
INDEXADO EM: Scopus CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
32
TÍTULO: The Intensional Structure of Epistemic Convictions
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12524
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY
AUTORES: Santos, PG ; Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: Verantwortung in den theoretischen Wissenschaften
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: Verantwortung
INDEXADO EM: CrossRef
35
TÍTULO: Feferman on Foundations: Logic, Mathematics, Philosophy  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2020, FONTE: PHILOSOPHIA MATHEMATICA, VOLUME: 28, NÚMERO: 3
INDEXADO EM: WOS CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: Grundlagen des logischen Schließens
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2020, FONTE: Philosophisches Handbuch Künstliche Intelligenz
INDEXADO EM: CrossRef Unpaywall
37
TÍTULO: Konzeptionelle Herausforderungen für die KI
AUTORES: Reinhard Kahle ; Klaus Mainzer;
PUBLICAÇÃO: 2020, FONTE: 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020, VOLUME: P-307
INDEXADO EM: DBLP
NO MEU: DBLP
38
TÍTULO: Konzeptionelle Herausforderungen für die KI Workshop auf der INFORMATIK2020: Back to the Future – 50. Jahrestagung der Gesellschaft für Informatik
AUTORES: Reinhard Kahle ; Mainzer, K;
PUBLICAÇÃO: 2020, FONTE: 50. Jahrestagung der Gesellschaft fur Informatik, INFORMATIK 2020 - 50th Annual Conference of the German Informatics Society, INFORMATIK 2020 in Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), VOLUME: P-307
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
39
TÍTULO: Preface
AUTORES: Reinhard Kahle ; Rathjen, M;
PUBLICAÇÃO: 2020, FONTE: The Legacy of Kurt Schütte
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: Primzahlen als Herausforderung
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2020, FONTE: 50. Jahrestagung der Gesellschaft fur Informatik, INFORMATIK 2020 - 50th Annual Conference of the German Informatics Society, INFORMATIK 2020 in 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020, VOLUME: P-307
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 de 11. Total de resultados: 110.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service