1
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
2
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
3
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
4
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
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
5
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
6
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 Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), VOLUME: P-337
INDEXADO EM: Scopus
7
TÍTULO: Axiomatic Thinking I
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking I
INDEXADO EM: Scopus CrossRef Openlibrary
8
TÍTULO: Axiomatic Thinking II
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking II
INDEXADO EM: Scopus CrossRef: 2 Openlibrary
9
TÍTULO: Geodata as open data for artificial intelligence
AUTORES: Anna Hoffmann; Reinhard Kahle ;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), VOLUME: P-326
INDEXADO EM: Scopus
10
TÍTULO: Geodaten als Open Data für die Künstliche Intelligenz
AUTORES: Anna Hoffmann; Reinhard Kahle ;
PUBLICAÇÃO: 2022, FONTE: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, VOLUME: P-326
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 11. Total de resultados: 101.