Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 101



31
TÍTULO: Primzahlen als Herausforderung
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: The Legacy of Kurt Schütte
AUTORES: Reinhard Kahle ; Michael Rathjen;
PUBLICAÇÃO: 2020, FONTE: The Legacy of Kurt Schütte
INDEXADO EM: Scopus CrossRef Openlibrary
NO MEU: ORCID
33
TÍTULO: “Sehr geehrter Herr Professor!" Proof Theory in 1949 in a Letter from Schütte to Bernays
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2020, FONTE: The Legacy of Kurt Schütte
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
34
TÍTULO: Discussing Hilbert's 24th problem
AUTORES: Ines Hipolito; Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, NÚMERO: 2140
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
35
TÍTULO: Dual Axiomatics
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: Mario Bunge: A Centenary Festschrift
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: HILBERT-BERNAYS SUMMER SCHOOL on LOGIC and COMPUTATION 2018: CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: Bulletin of Symbolic Logic, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
37
TÍTULO: Is There a "Hilbert Thesis"?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: STUDIA LOGICA, VOLUME: 107, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: A Logician's Sidelong Glance at Irony  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Baltic International Yearbook of Cognition, Logic and Communication, VOLUME: 12, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
39
TÍTULO: Hilbert-bernays summer school on logic and computation 2017 co-sponsored by the association for symbolic logic gottingen, Germany July 23-29, 2017
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Bulletin of Symbolic Logic, VOLUME: 24, NÚMERO: 4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: M
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Logic, Epistemology, and the Unity of Science, VOLUME: 43
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 de 11. Total de resultados: 101.

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

Links Úteis

Ajuda

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