Symbolic Rewriting Technique (Progress in Computer Science and Applied Logic, V. 15)

by: Manuel Bronstein · Johannes Grabmeier · volk Weispfenning

Paperback

details (USA).

ISBN: 978-0-8176-5901-1

ISBN-10: 0-8176-5901-3

Birkhauser · 1998