Bruno Buchberger,
"Theorema: Proving, Solving and Computing"
, 6-2001, B. Buchberger International Symposium "Proving, Solving, Computing" on the Occasion of the 60th Birthday of Prof. S. Igarashi, Tsukuba Univ.,
Original Titel:
Theorema: Proving, Solving and Computing
Sprache des Titels:
Englisch
Erscheinungsmonat:
6
Erscheinungsjahr:
2001
Notiz zum Zitat:
B. Buchberger International Symposium "Proving, Solving, Computing" on the Occasion of the 60th Birthday of Prof. S. Igarashi, Tsukuba Univ.,