TY  - GEN
AU  - Bronstein,Manuel
AU  - Grabmeier,Johannes
AU  - Weispfenning,Volker
TI  - Symbolic rewriting technique
SN  - 3764359013 (Basel : alk. paper)
U1  - 005.13/1 
PY  - 1998///
CY  - Basel, Boston
PB  - Birkhèauser Verlag
KW  - Rewriting systems (Computer science)
KW  - Congresses
KW  - Grèobner bases
KW  - Numerical analysis
KW  - Data processing
N1  - Contine bibliogr
ER  -