A proof of Buchberger's lemma:
Saved in:
Bibliographic Details
Main Author: Loos, Rüdiger (Author)
Format: Book
Language:German
Published: Karlsruhe 1982
Series:Universität <Karlsruhe>: Fakultät für Informatik: Interner Bericht 1982,25
Physical Description:[4] Bl.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!