A. Kandri-Rody, Franz Winkler, D. Kapur,
"Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesis"
, in G.H. Gonnet: International Symposium on Symbolic and Algebraic computation 89, Portland, Oregon, Seite(n) 55-67, 1989
Original Titel:
Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesis
Sprache des Titels:
Englisch
Original Buchtitel:
International Symposium on Symbolic and Algebraic computation 89, Portland, Oregon