Vinkkaa tuotetta kavereillesi:
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series
Paul Ruet
Hinta
$ 123,74
Tilattu etävarastosta
Arvioitu toimitus to 23. loka - ma 3. marras
Lisää iMusic-toivelistallesi
tai
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | maanantai 15. marraskuuta 2004 |
| ISBN13 | 9780521608572 |
| Tuottaja | Cambridge University Press |
| Sivujen määrä | 392 |
| Mitta | 153 × 228 × 23 mm · 520 g |
| Kieli | English |
| Toimittaja | Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille) |
| Toimittaja | Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille) |
| Toimittaja | Ruet, Paul (Institut de Mathematiques de Luminy, Marseille) |
| Toimittaja | Scott, Philip (University of Ottawa) |
Katso kaikki joka sisältää Paul Ruet ( Esim. Paperback Book )