Symbolic rewriting technique
By: Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors.
Contributors: Bronstein, Manuel.; Grabmeier, Johannes.; Weispfenning, Volker, 1944-
Series: Progress in computer science and applied logic ;; v. 15
Publisher: Birkhäuser Verlag
Published: 1998
Place of publication: Basel; Boston
Language: eng
Number of pages: 288
Subjects: Rewriting systems (Computer science) -- Congresses.; Gröbner bases -- Congresses.; Numerical analysis -- Data processing -- Congresses.
Notes: Includes bibliographical references.