Higher-order Algebra, Logic and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993, Selected Papers - Lecture Notes in Computer Science - Jan Heering - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540582335 - 28 de julio de 1994
En caso de que portada y título no coincidan, el título será el correcto

Jan Heering
Higher-order Algebra, Logic and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993, Selected Papers - 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

The research papers collected in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques such as resolution and term rewriting, and specification and verification case studies. They suggest new research directions in this area.

351 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de julio de 1994
ISBN13 9783540582335
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 351
Dimensiones 152 × 229 × 19 mm   ·   508 g
Lengua Alemán  
Editor Heering, J.
Editor Meinke, K.
Editor Moller, Bernhard
Editor Nipkow, Tobias

Mere med samme udgiver

Ver todo de Jan Heering ( Ej. Paperback Book )