Linear logic computer science von ehrhard thomas (15 Ergebnisse)
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 112,27
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 122,63
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 120,34
EUR 18,08 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
paperback. Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 130,27
EUR 9,50 VersandVersand von Irland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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 & Voc…ational. 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)
Sprache: Englisch
Verlag: Cambridge Univ Pr, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 147,85
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press CUP, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 167,67
EUR 3,45 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. x + 381.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 164,01
EUR 9,08 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: 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 & Voc…ational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 143,67
EUR 62,83 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 o…f 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 232,01
EUR 29,18 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Linear Logic in Computer Science
Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)
Sprache: Englisch
Verlag: Cambridge Univ Pr, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
- Print-on-Demand
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 126,08
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
- Print-on-Demand
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes KönigreichTHE SAINT BOOKSTORE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 131,71
EUR 19,26 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Sprache: Englisch
Verlag: Cambridge University Press, 2016
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,94
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: 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 we…ll as advanced contributions on recent trends. It is an excelle.
Sprache: Englisch
Verlag: Cambridge University Press, Cambridge, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
- Print-on-Demand
Anbieter: CitiRetail, Stevenage, Vereinigtes KönigreichCitiRetail
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 131,61
EUR 43,18 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: 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 conne…ctives, 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 173,73
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. x + 381 Illus.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 177,66
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. x + 381.
