Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 02092636
Price: 56.59 EUR
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783540643012

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings

Tobias Nipkow

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02092636

Editores Springer, Berlin, noviembre 1997

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Tech... Descripción completa

Código Libristo: 02092636

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Schneider - Arzneidrogen Theodor Dingermann

Tapa blanda

62.19 €

Genfer Novellen Rudolf Töpffer

Tapa blanda

12.89 €

Ersatzgesetzgeber oder nicht? Die problematische Stellung des Bundesverfassungsgerichts im politischen System der Bundesrepublik Deutschland Stefan Wagner

Tapa blanda

44.39 €

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.