Conte aos seus amigos sobre este item:
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series
Paul Ruet
Preço
NOK 1.179
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 29 de out - 7 de nov
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series
Paul Ruet
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 15 de novembro de 2004 |
| ISBN13 | 9780521608572 |
| Editoras | Cambridge University Press |
| Páginas | 392 |
| Dimensões | 153 × 228 × 23 mm · 520 g |
| Idioma | English |
| 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) |
Ver tudo de Paul Ruet ( por exemplo Paperback Book )