Bruno Buchberger, Martin Giese,
"Towards Practical Reflection for Formal Mathematics, extended abstract. In Proceedings of Austria-Japan Workshop on Symbolic Computation and Software Verification"
, Serie RISC Report Series, Nummer 07-09, RISC, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria, 7-2007
Original Titel:
Towards Practical Reflection for Formal Mathematics, extended abstract. In Proceedings of Austria-Japan Workshop on Symbolic Computation and Software Verification
Sprache des Titels:
Englisch
Veröffentlicher:
RISC
Verlagsanschrift:
University of Linz, Altenbergerstraße 69, 4040 Linz, Austria