Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 97



21
TITLE: The Intensional Structure of Epistemic Convictions
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12524
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
22
TITLE: VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY
AUTHORS: Santos, PG ; Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
23
TITLE: Verantwortung in den theoretischen Wissenschaften
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Verantwortung
INDEXED IN: CrossRef
24
TITLE: Feferman on Foundations: Logic, Mathematics, Philosophy
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: PHILOSOPHIA MATHEMATICA, VOLUME: 28, ISSUE: 3
INDEXED IN: WOS CrossRef
IN MY: ORCID
25
TITLE: Grundlagen des logischen Schließens
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: Philosophisches Handbuch Künstliche Intelligenz
INDEXED IN: CrossRef Unpaywall
26
TITLE: Konzeptionelle Herausforderungen für die KI
AUTHORS: Reinhard Kahle ; Klaus Mainzer;
PUBLISHED: 2020, SOURCE: 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020, VOLUME: P-307
INDEXED IN: DBLP
IN MY: DBLP
27
TITLE: Konzeptionelle Herausforderungen für die KI Workshop auf der INFORMATIK2020: Back to the Future – 50. Jahrestagung der Gesellschaft für Informatik
AUTHORS: Reinhard Kahle ; Mainzer, K;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
28
TITLE: Primzahlen als Herausforderung
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
29
TITLE: The Legacy of Kurt Schütte
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2020
INDEXED IN: CrossRef
30
TITLE: “Sehr geehrter Herr Professor!" Proof Theory in 1949 in a Letter from Schütte to Bernays
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: The Legacy of Kurt Schütte
INDEXED IN: Scopus CrossRef: 2
Page 3 of 10. Total results: 97.

A place for researchers and their institutions

Useful Links

Get Help

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