Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 105



1
TÍTULO: 90 years of Gödel's incompleteness theorems: Logic and computation
AUTORES: Baaz, M; Ertel, M; Reinhard Kahle ; Piecha, T; von Plato, J;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 34, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
2
TÍTULO: In Praise of the Habilitation  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2024, FONTE: NTM, VOLUME: 32, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef Unpaywall
NO MEU: ORCID
3
TÍTULO: Limits of AI - theoretical, practical, ethical
AUTORES: Klaus Mainzer; Reinhard Kahle ;
PUBLICAÇÃO: 2024, FONTE: Technik im Fokus
INDEXADO EM: CrossRef Unpaywall
4
TÍTULO: Paradoxes, Intuitionism, and Proof-Theoretic Semantics
AUTORES: Reinhard Kahle ; Paulo Guilherme Santos;
PUBLICAÇÃO: 2024, FONTE: Outstanding Contributions to Logic, VOLUME: 29
INDEXADO EM: Scopus CrossRef Unpaywall
NO MEU: ORCID
5
TÍTULO: A new perspective on completeness and finitist consistency
AUTORES: Santos, Paulo Guilherme ; Sieg, Wilfried; Reinhard Kahle ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 34, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
6
TÍTULO: Die philosophische Bedeutung des Gödel-Universums
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2023, FONTE: On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
INDEXADO EM: CrossRef Unpaywall
7
TÍTULO: Numeral completeness of weak theories of arithmetic
AUTORES: Reinhard Kahle ; Oitavem, Isabel ; Santos, Paulo Guilherme ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 35, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
8
TÍTULO: The Philosophical Meaning of the Gödel Universe
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2023, FONTE: On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
INDEXADO EM: CrossRef Unpaywall
9
TÍTULO: Zukunft der KI: Verantwortung und Vertrauen
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2023, FONTE: 2023 Designing Futures: Zukunfte gestalten, INFORMATIK 2023 - 2023 Designing Futures: Shaping the Future, INFORMATIK 2023 in 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: Scopus DBLP
NO MEU: ORCID | DBLP
10
TÍTULO: Axiomatic Thinking I
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking I
INDEXADO EM: Scopus CrossRef Openlibrary
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 11. Total de resultados: 105.

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

Links Úteis

Ajuda

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