Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 110



61
TÍTULO: Gentzen's Centenary. The Quest for Consistency
AUTORES: Reinhard Kahle ; Michael Rathjen;
PUBLICAÇÃO: 2015
INDEXADO EM: Openlibrary
NO MEU: ORCID
62
TÍTULO: Gentzen’s centenary: The quest for consistency
AUTORES: Reinhard Kahle ; Rathjen, M;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
63
TÍTULO: Gentzen’s consistency proof in context
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
64
TÍTULO: Preface
AUTORES: Reinhard Kahle ; Rathjen, M;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
65
TÍTULO: Sets, Truth, and Recursion
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: Unifying Philosophy Truth in Unifying the Philosophy of Truth, VOLUME: 36
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
66
TÍTULO: Syntax versus Semantics PDF
AUTORES: Reinhard Kahle ; Wilfried Keller;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1507.04678
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
67
TÍTULO: What is a Proof?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: AXIOMATHES, VOLUME: 25, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: Towards the Structure of Mathematical Proof PDF
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., VOLUME: 1186
INDEXADO EM: DBLP
NO MEU: DBLP
69
TÍTULO: What is a Proof?
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Axiomathes
INDEXADO EM: Scopus
70
TÍTULO: What is a Proof?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Axiomathes
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 7 de 11. Total de resultados: 110.

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

Links Úteis

Ajuda

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