Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science - Tobias Nipkow - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540643012 - 11 de marzo de 1998
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 6 - 13 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

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

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 11 de marzo de 1998
ISBN13 9783540643012
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 346
Dimensiones 156 × 234 × 18 mm   ·   503 g
Lengua Alemán  
Editor Nipkow, Tobias

Mas por Tobias Nipkow

Mostrar todo

Ver todo de Tobias Nipkow ( Ej. Paperback Book y Hardcover Book )