Linear logic computer science par ehrhard thomas (15 résultats)
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 111,04
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 122,65
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 120,36
EUR 18,08 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
paperback. Etat : New.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 130,27
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. This book illustrates linear logic in the application of proof theory to computer science. Editor(s): Ruet, Paul; Ehrhard, Thomas; Girard, Jean-Yves; Scott, Philip. Series: London Mathematical Society Lecture Note Series. Num Pages: 392 pages, 75 exercises. BIC Classification: PBCD. Category: (P) Professional & Vocat…ional. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . .
Linear Logic in Computer Science
Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)
Langue : anglais
Edité par Cambridge Univ Pr, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 146,09
EUR 14,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock.
Langue : anglais
Edité par Cambridge University Press CUP, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 165,83
EUR 3,41 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. x + 381.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 162,21
EUR 8,98 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. This book illustrates linear logic in the application of proof theory to computer science. Editor(s): Ruet, Paul; Ehrhard, Thomas; Girard, Jean-Yves; Scott, Philip. Series: London Mathematical Society Lecture Note Series. Num Pages: 392 pages, 75 exercises. BIC Classification: PBCD. Category: (P) Professional & Vocat…ional. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . . Books ship from the US and Ireland.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 143,67
EUR 62,83 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of…well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 232,05
EUR 29,18 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
- impression à la demande
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-UniTHE SAINT BOOKSTORE
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 131,73
EUR 19,26 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Langue : anglais
Edité par Cambridge University Press, 2016
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 115,94
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well… as advanced contributions on recent trends. It is an excelle.
Langue : anglais
Edité par Cambridge University Press, Cambridge, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
- impression à la demande
Vendeur : CitiRetail, Stevenage, Royaume-UniCitiRetail
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 131,64
EUR 43,19 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : new. Paperback. Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connect…ives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 171,82
EUR 7,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand pp. x + 381 Illus.
Langue : anglais
Edité par Cambridge University Press, 2004
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 177,66
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. PRINT ON DEMAND pp. x + 381.
Autres imagesLangue : anglais
Edité par Cambridge University Press, 2016
Série : Livre 273 sur 387 - London Mathematical Society Lecture Notes
- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 120,25
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Linear Logic in Computer Science | Thomas Ehrhard (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2016 | Cambridge University Press | EAN 9780521608572 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
