31
TITLE: Grundlagen des logischen Schließens
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: Philosophisches Handbuch Künstliche Intelligenz
INDEXED IN: CrossRef Unpaywall
32
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
33
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
34
TITLE: Preface
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2020, SOURCE: The Legacy of Kurt Schütte
INDEXED IN: Scopus
35
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
36
TITLE: The Legacy of Kurt Schütte
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2020, SOURCE: The Legacy of Kurt Schütte
INDEXED IN: Scopus CrossRef Openlibrary
IN MY: ORCID
37
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
38
TITLE: Discussing Hilbert's 24th problem
AUTHORS: Ines Hipolito; Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, ISSUE: 2140
INDEXED IN: Scopus WOS CrossRef: 5
39
TITLE: Dual Axiomatics
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: Mario Bunge: A Centenary Festschrift
INDEXED IN: Scopus CrossRef
40
TITLE: HILBERT-BERNAYS SUMMER SCHOOL on LOGIC and COMPUTATION 2018: CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: Bulletin of Symbolic Logic, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus CrossRef
Page 4 of 11. Total results: 105.