TY  - BOOK
AU  - Bronstein,Manuel
AU  - Grabmeier,Johannes
AU  - Weispfenning,Volker
TI  - Symbolic rewriting techniques
T2  - Progress in computer science and applied logic
SN  - 3764359013
AV  - QA267 S93
PY  - 1998///
CY  - Basel
PB  - Birkhäuser Verlag
KW  - Sistemas de reescritura (Computación)
KW  - Lógica simbólica y matemática
ER  -