Bruno Buchberger, Tudor Jebelean,
"Theorema: Computation and Deduction in Natural Style"
: Handbook of Computer Algebra, 12-2000, B. Buchberger and T. Jebelean. Section in: Handbook of Computer Algebra, E. Kaltofen (editor), Springer, 2000 (to appear)
Original Titel:
Theorema: Computation and Deduction in Natural Style
Sprache des Titels:
Englisch
Original Buchtitel:
Handbook of Computer Algebra
Erscheinungsmonat:
12
Erscheinungsjahr:
2000
Notiz zum Zitat:
B. Buchberger and T. Jebelean. Section in: Handbook of Computer Algebra, E. Kaltofen (editor), Springer, 2000 (to appear)