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
Mex$ 963
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Michael Rusinowitch
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Más del mismo editor