Bruno Buchberger, Tudor Jebelean,
"The Theorema System"
, 8-1998, B. Buchberger, T. Jebelean; MFCS498 (International Conference on Mathematical Foundations of Computer Science), Brno, Czech Republic
Original Titel:
The Theorema System
Sprache des Titels:
Englisch
Erscheinungsmonat:
8
Erscheinungsjahr:
1998
Notiz zum Zitat:
B. Buchberger, T. Jebelean; MFCS498 (International Conference on Mathematical Foundations of Computer Science), Brno, Czech Republic