Bruno Buchberger, C. Dupre, Tudor Jebelean, K. Kriftner, Koji Nakagawa, D. Vasaru, Wolfgang Windsteiger,
"The theorema project: A Progress report"
: Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 12-2000, B. Buchberger, C. Dupre, T. Jebelean, K. Kriftner, K. Nakagawa, D. Vasaru, and W. Windsteiger; in: M. Kerber and M. Kohlhase, editors, Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St. Andrews, Scotland, August 6-7, pages 100-115, 2000.
Original Titel:
The theorema project: A Progress report
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
Erscheinungsmonat:
12
Erscheinungsjahr:
2000
Notiz zum Zitat:
B. Buchberger, C. Dupre, T. Jebelean, K. Kriftner, K. Nakagawa, D. Vasaru, and W. Windsteiger; in: M. Kerber and M. Kohlhase, editors, Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St. Andrews, Scotland, August 6-7, pages 100-115, 2000.
Forschungs-