Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning

Symbolic Rewriting Techniques - 1998 - Birkhäuser Basel 1998 - Progress in Computer Science and Applied Logic .

9783034888004


Mathematics and Statistics