Alexander Maletzky,
"A New Reasoning Framework for Theorema 2.0"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, RISC, JKU, Hagenberg, Linz, 5-2017
Original Titel:
A New Reasoning Framework for Theorema 2.0
Sprache des Titels:
Englisch
Original Kurzfassung:
Accepted as work-in-progess paper at CICM 2017 (10th Conference on Intelligent Computer Mathematics, Edinburgh, UK, July 17-21)
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg, Linz
Serie:
RISC Report Series, Johannes Kepler University Linz, Austria