Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 101



1
TITLE: Paradoxes, Intuitionism, and Proof-Theoretic Semantics
AUTHORS: Reinhard Kahle ; Paulo Guilherme Santos;
PUBLISHED: 2024, SOURCE: Outstanding Contributions to Logic, VOLUME: 29
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: A new perspective on completeness and finitist consistency
AUTHORS: Santos, Paulo Guilherme ; Sieg, Wilfried; Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 34, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
3
TITLE: Die philosophische Bedeutung des Gödel-Universums
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
INDEXED IN: CrossRef Unpaywall
4
TITLE: Numeral completeness of weak theories of arithmetic
AUTHORS: Reinhard Kahle ; Oitavem, Isabel ; Santos, Paulo Guilherme ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGIC AND COMPUTATION
INDEXED IN: WOS CrossRef
IN MY: ORCID
5
TITLE: The Philosophical Meaning of the Gödel Universe
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
INDEXED IN: CrossRef Unpaywall
6
TITLE: Zukunft der KI: Verantwortung und Vertrauen
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: Axiomatic Thinking I
AUTHORS: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking I
INDEXED IN: Scopus CrossRef Openlibrary
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: Axiomatic Thinking II
AUTHORS: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking II
INDEXED IN: Scopus CrossRef: 2 Openlibrary
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: Geodata as open data for artificial intelligence
AUTHORS: Anna Hoffmann; Reinhard Kahle ;
PUBLISHED: 2022, SOURCE: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), VOLUME: P-326
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: Geodaten als Open Data für die Künstliche Intelligenz
AUTHORS: Anna Hoffmann; Reinhard Kahle ;
PUBLISHED: 2022, SOURCE: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, VOLUME: P-326
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 11. Total results: 101.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service