Artículos relacionados a Linear Logic in Computer Science: 316 (London Mathematical...
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316) - Tapa blanda
Libro 273 de 387: London Mathematical Society Lecture Notes
Sinopsis
Linear Logic in Computer Science
"Sinopsis" puede pertenecer a otra edición de este libro.
Product Description
Book by None
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Linear Logic in Computer Science: 316 (London Mathematical...
Imagen de archivo
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series, Series Number 316)
Publicado por
Cambridge University Press, 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780521608572
Comprar nuevo
EUR 113,93
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Publicado por
Cambridge University Press, 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572
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-9780521608572
Comprar nuevo
EUR 119,89
Envío por EUR 18,01
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Publicado por
Cambridge University Press, 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
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 & Vocational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . . Nº de ref. del artículo: V9780521608572
Comprar nuevo
EUR 130,27
Envío por EUR 9,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series, Series Number 316)
Publicado por
Cambridge University Press, 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9780521608572_new
Comprar nuevo
EUR 134,57
Envío por EUR 13,13
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Linear Logic in Computer Science
Publicado por
Cambridge University Press, 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572
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. Nº de ref. del artículo: C9780521608572
Comprar nuevo
EUR 131,22
Envío por EUR 19,19
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Linear Logic in Computer Science
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock. Nº de ref. del artículo: x-0521608570
Comprar nuevo
EUR 150,05
Envío por EUR 14,53
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Linear Logic in Computer Science
Publicado por
Cambridge University Press, 2016
ISBN 10: 0521608570
ISBN 13: 9780521608572
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. 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. Nº de ref. del artículo: 446942134
Comprar nuevo
EUR 115,94
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Linear Logic in Computer Science (Paperback)
Publicado por
Cambridge University Press, Cambridge, 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572
Nuevo
Paperback
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
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 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. 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. Nº de ref. del artículo: 9780521608572
Comprar nuevo
EUR 131,12
Envío por EUR 43,02
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Linear Logic in Computer Science
Publicado por
Cambridge University Press CUP, 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572
Nuevo
Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. x + 381. Nº de ref. del artículo: 26485908
Comprar nuevo
EUR 171,96
Envío por EUR 3,50
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Publicado por
Cambridge University Press, 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572
Nuevo
Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
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 & Vocational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9780521608572
Comprar nuevo
EUR 166,44
Envío por EUR 9,22
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles