Articles liés à Advances in Linear Logic
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCambridge University Press
- Date d'édition2010
- ISBN 10 0521559618
- ISBN 13 9780521559614
- ReliureBroché
- Nombre de pages400
Acheter neuf
En savoir plus sur cette édition
EUR 74,71
Frais de port :
EUR 3,73
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Edité par
Cambridge University Press
(1995)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Feb2416190007222
Acheter neuf
EUR 74,71
Autre devise
Image d'archives
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) [Paperback] Girard, Jean-Yves; Lafont, Yves and Regnier, Laurent
Edité par
Cambridge University Press
(1995)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 8bb9a9dee39b18f6acf3b652de55c803
Acheter neuf
EUR 71,33
Autre devise
Image d'archives
Advances in Linear Logic
Edité par
Cambridge University Press
(1995)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9780521559614_lsuk
Acheter neuf
EUR 77,58
Autre devise
Image d'archives
Advances in Linear Logic (London Mathematical Society Lecture Note Series)
Edité par
Cambridge University Press 2010-02-22
(2010)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Paperback
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9780521559614
Acheter neuf
EUR 72,12
Autre devise
Image d'archives
Advances in Linear Logic
Edité par
Cambridge Univ Pr
(1995)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Paperback
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. 397 pages. 9.00x6.25x0.75 inches. In Stock. N° de réf. du vendeur __0521559618
Acheter neuf
EUR 78,31
Autre devise
Image d'archives
Advances in Linear Logic
Edité par
Cambridge University Press
(1995)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Paperback / softback
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9780521559614
Acheter neuf
EUR 81,37
Autre devise
Image d'archives
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Edité par
Cambridge University Press
(1995)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Couverture souple
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Book is in NEW condition. N° de réf. du vendeur 0521559618-2-1
Acheter neuf
EUR 91,88
Autre devise
Image d'archives
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Edité par
Cambridge University Press
(1995)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur I-9780521559614
Acheter neuf
EUR 92,40
Autre devise
Image fournie par le vendeur
Advances in Linear Logic
Edité par
Cambridge University Press
(2003)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Kartoniert / Broschiert
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Kartoniert / Broschiert. Etat : 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 réf. du vendeur 446939989
Acheter neuf
EUR 48,36
Autre devise
Image d'archives
Advances in Linear Logic
Edité par
Cambridge University Press CUP
(1995)
ISBN 10 : 0521559618
ISBN 13 : 9780521559614
Neuf
Couverture souple
Quantité disponible : 4
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. 400. N° de réf. du vendeur 26561367
Acheter neuf
EUR 103,38
Autre devise