Tipsa dina vänner om produkten:
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series Paul Ruet
Pris
SEK 1.099
Beställningsvara
Förväntad leverans 23 jan - 3 feb
Lägg till din iMusic-önskelista
eller
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
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 15 november 2004 |
| ISBN13 | 9780521608572 |
| Utgivare | Cambridge University Press |
| Antal sidor | 392 |
| Mått | 153 × 228 × 23 mm · 520 g |
| Språk | Engelska |
| Redaktör | Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille) |
| Redaktör | Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille) |
| Redaktör | Ruet, Paul (Institut de Mathematiques de Luminy, Marseille) |
| Redaktör | Scott, Philip (University of Ottawa) |
Se alt med Paul Ruet ( t.ex. Pocketbok )