FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Journal of Formalized Reasoning
ISSN:
1972-5787
Publisher:
CIB - University of Bologna
Publications (1)
Types of publications
Journal article
Journal article
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Filters (inactive)
QED reloaded: Towards a pluralistic formal library of mathematical knowledge (2016)
Kohlhase M, Rabe F
Journal article, Original article