Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science - Tobias Nipkow - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540643012 - 11. März 1998
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Tobias Nipkow
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science

Preis
SFr. 44,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.

346 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 11. März 1998
ISBN13 9783540643012
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 346
Maße 156 × 234 × 18 mm   ·   503 g
Sprache Deutsch  
Redakteur Nipkow, Tobias

Weitere Titel von Tobias Nipkow

Alle anzeigen

Alle Titel von Tobias Nipkow ansehen ( u. a. Taschenbuch und Gebundenes Buch )