Logical Foundations of Proof Complexity - Cook, Stephen (University of Toronto) - 書籍 - Cambridge University Press - 9781107694118 - 2014年3月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Cook, Stephen (University of Toronto)
Logical Foundations of Proof Complexity

価格
¥ 14.415
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月16日 - 年11月3日
Cook, Stephen (University of Toronto) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.

496 pages, 17 b/w illus. 5 tables

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年3月6日
ISBN13 9781107694118
出版社 Cambridge University Press
ページ数 496
寸法 156 × 234 × 28 mm   ·   822 g   (重量（概算）)
言語 英語  

同じ出版社からのその他の記事

Cook, Stephen (University of Toronto)のすべてを見る