9780521608572 - linear logic in computer science: 316 (london mathematical society lecture note series, series number 316) de ehrhard, thomas (16 resultados)
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 113,93
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,64
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 119,48
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
paperback. Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 130,27
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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 & V…ocational. 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)
Idioma: Inglés
Editorial: Cambridge Univ Pr 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 149,73
Envío por EUR 14,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock.
Idioma: Inglés
Editorial: Cambridge University Press CUP 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 171,64
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. x + 381.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 166,43
Envío por EUR 9,22Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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 & V…ocational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . . Books ship from the US and Ireland.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 152,81
Envío por EUR 62,83Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 230,34
Envío por EUR 28,97Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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)
Idioma: Inglés
Editorial: Cambridge Univ Pr 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 125,18
Envío por EUR 14,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 130,76
Envío por EUR 19,12Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Idioma: Inglés
Editorial: Cambridge University Press 2016
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,94
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Kartoniert / Broschiert. Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, Cambridge 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 130,67
Envío por EUR 42,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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 con…nectives, 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.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 180,29
Envío por EUR 7,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. x + 381 Illus.
Idioma: Inglés
Editorial: Cambridge University Press 2004
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 178,82
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. x + 381.
Más imágenesIdioma: Inglés
Editorial: Cambridge University Press 2016
Serie: London Mathematical Society Lecture Notes, Libro 273 de 387. Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 120,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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 Dem…and.
