Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic, Band 15)

Techniques

von: Manuel Bronstein · Johannes Grabmeier · Volker Weispfenning

Gebunden

ISBN-13: 978-3-7643-5901-0

ISBN-10: 3-7643-5901-3

Birkhäuser · 1998

Siehe auch:
2013TaschenbuchSymbolic Rewriting Techniques (Progress in Computer Science and Applied Logic, Band 15)