Journal of Automated Reasoning

Journal Abbreviation: J AUTOM REASONING
ISSN: 0168-7433
Publisher: Springer Verlag (Germany)

Publications (4)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Experiences from Exporting Major Proof Assistant Libraries (2021) Kohlhase M, Rabe F Journal article The Mizar mathematical library in OMDoc: Translation and applications (2013) Iancu M, Kohlhase M, Rabe F, Urban J Journal article, Original article Managing structural information by higher-order colored unification (2000) Hutter D, Kohlhase M Journal article, Original article Integrating Computer Algebra into Proof Planning (1998) Kerber M, Kohlhase M, Sorge V Journal article, Original article