Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Advances in Linear Logic

Name: Advances in Linear Logic
Brand: Cambridge University Press
SKU: 02035179
Price: 89.79 EUR
Availability: InStock
Author: Jean-Yves Girard
ISBN: 9780521559614

Jean-Yves Girard

Yves Lafont

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02035179

Editores Cambridge University Press, junio 1995

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main pr... Descripción completa

Código Libristo: 02035179

220 b

89.79 €

Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

S'Integrer Pour s'Enrichir Elias T. Ayuk

Tapa dura

60.39 €

Hermann von Stahleck Lionel Baumgärtner

Tapa blanda

14.89 €

Welfengold Rolf Aderhold

Tapa blanda

15.99 €

Technisches Deutsch für Ausbildung und Beruf Rosemarie Buhlmann

Tapa blanda

40.59 €

La Barque amirale [nouvelles] Boulanger

Tapa blanda

11.39 €

Approximation Theory R. Schaback

Tapa blanda

47.59 €

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.