Fortæl dine venner om denne vare:
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series
Paul Ruet
Pris
SFr. 111,99
Bestilles fra fjernlager
Forventes klar til forsendelse 29. okt. - 5. nov.
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 15. november 2004 |
| ISBN13 | 9780521608572 |
| Forlag | Cambridge University Press |
| Antal sider | 392 |
| Mål | 153 × 228 × 23 mm · 520 g |
| Sprog | Engelsk |
| Klipper/redaktør | Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille) |
| Klipper/redaktør | Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille) |
| Klipper/redaktør | Ruet, Paul (Institut de Mathematiques de Luminy, Marseille) |
| Klipper/redaktør | Scott, Philip (University of Ottawa) |
Se alt med Paul Ruet ( f.eks. Paperback Bog )