Für diesen Artikel ist leider kein Bild verfügbar.

Rewriting Techniques and Applications

Buch | Softcover

458 Seiten

1991
Springer (Verlag)
978-0-387-53904-1 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Thirty-five essays from the conference report on new developments in computer science research and teaching. Also included in this volume are short descriptions of four implemented equational reasoning systems that were demonstrated at the meeting. Author index only. Annotation copyright Book News,

Erscheint lt. Verlag	1.3.1991
Reihe/Serie	Lecture Notes in Mathematics ; 488
Mitarbeit	Sonstige Mitarbeit: Ronald V Book
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Lecture Notes in Computer Science; 488
ISBN-10	0-387-53904-2 / 0387539042
ISBN-13	978-0-387-53904-1 / 9780387539041
Zustand	Neuware