Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic (PCS))

von: Manuel Bronstein · Johannes Grabmeier · Volker Weispfenning Birkhäuser Basel · 1998 Gebunden Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) Details (Spanien - España) ISBN-13: 978-3-7643-5901-0 ISBN-10: 3-7643-5901-3