Pastāsti draugiem par šo preci:
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series Paul Ruet
Cena
€ 113,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 26. aug. - . gada 9. sept.
Saņemiet paziņojumus par jauniem Paul Ruet izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2004. gada 15. novembris |
| ISBN13 | 9780521608572 |
| Izdevēji | Cambridge University Press |
| Lapas | 392 |
| Izmēri | 153 × 228 × 23 mm · 520 g |
| Valoda | Angļu |
| Redaktors | Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille) |
| Redaktors | Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille) |
| Redaktors | Ruet, Paul (Institut de Mathematiques de Luminy, Marseille) |
| Redaktors | Scott, Philip (University of Ottawa) |
