Advances in Linear Logic

ISBN 10: 0521559618 ISBN 13: 9780521559614
Editorial: Cambridge University Press, 1995
Usado Encuadernación de tapa blanda

Librería: Better World Books, Mishawaka, IN, Estados Unidos de America Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 3 de agosto de 2006

Este artículo en concreto ya no está disponible.
Ver los artículos de este vendedor Crear una petición para artículos similares

Descripción

Descripción:

Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de ref. del artículo 6078154-6

Denunciar este artículo

Sinopsis:

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

Product Description: 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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Título: Advances in Linear Logic
Editorial: Cambridge University Press
Año de publicación: 1995
Encuadernación: Encuadernación de tapa blanda
Condición: Good
Edición: 1st Edition.

Los mejores resultados en AbeBooks

Imagen del vendedor

ISBN 10: 0521559618 ISBN 13: 9780521559614
Antiguo o usado Softcover

Librería: Antiquariat Bookfarm, Löbnitz, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 ADV 9780521559614 Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 2502467

Contactar al vendedor

Comprar usado

EUR 35,19
Gastos de envío: EUR 16,00
De Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

ISBN 10: 0521559618 ISBN 13: 9780521559614
Antiguo o usado Softcover

Librería: Antiquariat Bookfarm, Löbnitz, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 ADV 9780521559614 Sprache: Englisch Gewicht in Gramm: 1150. Nº de ref. del artículo: 2508861

Contactar al vendedor

Comprar usado

EUR 35,19
Gastos de envío: EUR 40,00
De Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

AA. VV.
ISBN 10: 0521559618 ISBN 13: 9780521559614
Antiguo o usado Brossura

Librería: Di Mano in Mano Soc. Coop, Cambiago, MI, Italia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Brossura. Testo in inglese / Text in english. Numero di tavole: 0 pp.vi; 389 9780521559614 altezza 23 larghezza 15.3 Esemplare in buone condizioni.Copertina con tracce di polvere e segni di usura ai bordi e agli angoli.Pagine ingiallite ai bordi.Adesivo in seconda di copertina. Nº de ref. del artículo: LISCMA0118586-126888

Contactar al vendedor

Comprar usado

EUR 35,20
Gastos de envío: EUR 25,00
De Italia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190007222

Contactar al vendedor

Comprar nuevo

EUR 73,49
Gastos de envío: EUR 3,44
A Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Girard, Jean-Yves
Publicado por Cambridge University Press, 2003
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Tapa blanda
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.InhaltsverzeichnisLinear logic: its syntax and semantics J. Y. Girard Part I. Categories and Semantics:. Nº de ref. del artículo: 446939989

Contactar al vendedor

Comprar nuevo

EUR 81,24
Gastos de envío: EUR 48,99
De Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Jean Girard
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9780521559614

Contactar al vendedor

Comprar nuevo

EUR 88,26
Gastos de envío: EUR 17,68
De Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9780521559614_new

Contactar al vendedor

Comprar nuevo

EUR 88,34
Gastos de envío: EUR 13,67
De Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Jean-Yves Girard
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: new. Paperback. This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book. This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780521559614

Contactar al vendedor

Comprar nuevo

EUR 89,67
Gastos de envío: GRATIS
A Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Girard, Jean-Yves (Editor)/ Lafont, Yves (Editor)/ Regnier, Laurent (Editor)/ Linear Logic Workshop (Corporate Author)
Publicado por Cambridge Univ Pr, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback
Impresión bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 397 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __0521559618

Contactar al vendedor

Comprar nuevo

EUR 92,18
Gastos de envío: EUR 14,27
De Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Jean-Yves Girard
Publicado por Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback / softback
Impresión bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 620. Nº de ref. del artículo: C9780521559614

Contactar al vendedor

Comprar nuevo

EUR 95,51
Gastos de envío: EUR 19,35
De Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 8 copia(s) de este libro

Ver todos los resultados de su búsqueda