この商品を友人に教える:
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series Paul Ruet
価格
¥ 18.548
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月20日 - 年11月5日
Paul Ruet の新しいリリースのお知らせを受け取る
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2004年11月15日 |
| ISBN13 | 9780521608572 |
| 出版社 | Cambridge University Press |
| ページ数 | 392 |
| 寸法 | 153 × 228 × 23 mm · 520 g |
| 言語 | 英語 |
| 編集者 | Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille) |
| 編集者 | Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille) |
| 編集者 | Ruet, Paul (Institut de Mathematiques de Luminy, Marseille) |
| 編集者 | Scott, Philip (University of Ottawa) |
