Bruno Buchberger,
"Theorema: Extending Mathematica by Automated Proving"
, in D. Ungar: Proceedings of PrimMath 2001, Seite(n) 10-11, 9-2001, ISBN: 953-6076-71-3, B. Buchberger Proceedings of PrimMath 2001, D. Ungar eds., Univ. of Zagreb, D. Bosanac, D. Ungar, pp.10-11
Original Titel:
Theorema: Extending Mathematica by Automated Proving
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of PrimMath 2001
Seitenreferenz:
10-11
Erscheinungsmonat:
9
Erscheinungsjahr:
2001
Notiz zum Zitat:
B. Buchberger Proceedings of PrimMath 2001, D. Ungar eds., Univ. of Zagreb, D. Bosanac, D. Ungar, pp.10-11