Freunden von diesem Artikel berichten:
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000: Proceedings - Lecture Notes in Computer Science
Leo Bachmair
Preis
₺ 2.553
exkl. MwSt.
Bestellware
Lieferdatum: ca. 11. - 24. Jun
Zu deiner iMusic Wunschliste hinzufügen
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000: Proceedings - Lecture Notes in Computer Science
Leo Bachmair
This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000.
282 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 28. Juni 2000 |
| ISBN13 | 9783540677789 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 282 |
| Maße | 156 × 234 × 15 mm · 680 g |
| Sprache | Deutsch |
| Redakteur | Bachmair, Leo |
Alle anzeigen
Weitere Titel von Leo Bachmair
![Cover for Leo Bachmair · Canonical Equational Proofs - Progress in Theoretical Computer Science (Taschenbuch) [Softcover Reprint of the Original 1st Ed. 1991 edition] (1991)](https://imusic.b-cdn.net/images/item/original/558/9780817635558.jpg?leo-bachmair-1991-canonical-equational-proofs-progress-in-theoretical-computer-science-taschenbuch&class=scaled&v=1410283541)
Alle Titel von Leo Bachmair ansehen ( u. a. Taschenbuch )