Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997 - Proceedings - Lecture Notes in Computer Science - Hubert Comon - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540629504 - 14 de mayo de 1997
En caso de que portada y título no coincidan, el título será el correcto

Hubert Comon
Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997 - Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

Constitutes 24 revised papers presented at a conference on rewriting techniques and applications, along with two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented.

360 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de mayo de 1997
ISBN13 9783540629504
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 360
Dimensiones 156 × 234 × 18 mm   ·   503 g
Lengua Alemán  
Editor Comon, Hubert

Mas por Hubert Comon

Mostrar todo

Mere med samme udgiver

Ver todo de Hubert Comon ( Ej. Paperback Book )