Linear Logic in Computer Science - London Mathematical Society Lecture Note Series - Paul Ruet - Libros - Cambridge University Press - 9780521608572 - 15 de noviembre de 2004
En caso de que portada y título no coincidan, el título será el correcto

Paul Ruet
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series

Precio
$ 117,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

392 pages, 75 exercises

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 15 de noviembre de 2004
ISBN13 9780521608572
Editores Cambridge University Press
Páginas 392
Dimensiones 153 × 228 × 23 mm   ·   544 g
Lengua Inglés  
Editor Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille)
Editor Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille)
Editor Ruet, Paul (Institut de Mathematiques de Luminy, Marseille)
Editor Scott, Philip (University of Ottawa)

Mere med samme udgiver

Ver todo de Paul Ruet ( Ej. Paperback Book )