Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-a-mousson, France, July 8-10, 1992 - Proceedings - Lecture Notes in Computer Science - Michael Rusinowitch - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540563938 - 29 de enero de 1993
En caso de que portada y título no coincidan, el título será el correcto

Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-a-mousson, France, July 8-10, 1992 - Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

This volume contains the papers presented at the third International Workshop on Conditional Term Rewriting Systems. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction and constrained rewriting.


507 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de enero de 1993
ISBN13 9783540563938
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 507
Dimensiones 155 × 233 × 26 mm   ·   725 g
Lengua Alemán  
Editor Remy, Jean-luc
Editor Rusinowitch, Michael

Mere med samme udgiver