Linear Logic in Computer Science - London Mathematical Society Lecture Note Series - Paul Ruet - 書籍 - Cambridge University Press - 9780521608572 - 2004年11月15日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Paul Ruet
Linear Logic in Computer Science - London Mathematical Society Lecture Note Series

価格
¥ 17.620
税抜

遠隔倉庫からの取り寄せ

発送予定日 年1月30日 - 年2月12日

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

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)

Paul Ruetのすべてを見る ( 例： Paperback Book )