Bruno Buchberger,
"Towards Integrating Theorem Proving and Computer Algebra"
, 10-1997, B. Buchberger; Conference in Honor of Prof. Tony Levelt, Univ. of Nijmegen
Original Titel:
Towards Integrating Theorem Proving and Computer Algebra
Sprache des Titels:
Englisch
Erscheinungsmonat:
10
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger; Conference in Honor of Prof. Tony Levelt, Univ. of Nijmegen