Harald Ganzinger
Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie Harald Ganzinger

Name: Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie
Price: 55.99 USD
Availability: OutOfStock
Author: Harald Ganzinger

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie

Harald Ganzinger

The 27 papers in this volume cover topics including analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, and symbolic and algebraic computation.

440 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	1 de julio de 1996
ISBN13	9783540614647
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	440
Dimensiones	156 × 234 × 23 mm · 635 g
Lengua	Alemán
Editor	Ganzinger, Harald