Conditional Term Rewriting Systems

Stephane Kaplan, Jean-Pierre Jouannaud (Herausgeber)

Buch | Hardcover

278 Seiten

1988
Springer (Verlag)
9780387192420 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.6.1988
• Reihe/Serie: Lecture Notes in Computer Science ; 308
• Zusatzinfo: Illustrations
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-13: 9780387192420 / 9780387192420
• Zustand: Neuware