Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-14, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science - Stephane Kaplan - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540543176 - 7 de agosto de 1991
En caso de que portada y título no coincidan, el título será el correcto

Stephane Kaplan
Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-14, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 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

This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques.

474 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de agosto de 1991
ISBN13 9783540543176
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 474
Dimensiones 155 × 233 × 24 mm   ·   675 g
Lengua Alemán  
Editor Kaplan, Stephane
Editor Okada, Mitsuhiro

Mas por Stephane Kaplan

Mostrar todo

Mere med samme udgiver

Ver todo de Stephane Kaplan ( Ej. Paperback Book )