Artículos relacionados a Advances in Linear Logic Paperback: 222 (London Mathematical...
Advances in Linear Logic Paperback: 222 (London Mathematical Society Lecture Note Series, Series Number 222) - Tapa blanda
Sinopsis
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
Comprar nuevo
Ver este artículo
EUR 82,78
EUR 6,84 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Advances in Linear Logic Paperback: 222 (London Mathematical...
Imagen del vendedor
Advances in Linear Logic
Publicado por
Cambridge University Press, Cambridge, 1995
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
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
Cantidad disponible: 1 disponibles
Imagen de archivo
Advances in Linear Logic
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Antiguo o usado
Tapa blanda
Original o primera edición
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 1st Edition. 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
Cantidad disponible: 1 disponibles
Imagen de archivo
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780521559614
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
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
Condición: New. In. Nº de ref. del artículo: ria9780521559614_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Advances in Linear Logic
Publicado por
Cambridge University Press, 2003
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. 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
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Advances in Linear Logic
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Advances in Linear Logic
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: 1 disponibles
Imagen de archivo
Advances in Linear Logic
Publicado por
Cambridge University Press CUP, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 400. Nº de ref. del artículo: 26561367
Cantidad disponible: 4 disponibles
Imagen de archivo
Advances in Linear Logic (London Mathematical Society Lecture Note Series)
Publicado por
Cambridge University Press 2010-02-22, 2010
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9780521559614
Cantidad disponible: 10 disponibles
Imagen de archivo
Advances in Linear Logic
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 400 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Nº de ref. del artículo: 8335112
Cantidad disponible: 4 disponibles