この商品を友人に教える:
Krajicek, Jan (Charles University, Prague)
Proof Complexity - Encyclopedia of Mathematics and its Applications Krajicek, Jan (Charles University, Prague)
価格
Mex$ 3.596
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月5日 - 年12月18日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Proof Complexity - Encyclopedia of Mathematics and its Applications
Krajicek, Jan (Charles University, Prague)
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.
530 pages, Worked examples or Exercises
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2019年3月28日 |
| ISBN13 | 9781108416849 |
| 出版社 | Cambridge University Press |
| ページ数 | 530 |
| 寸法 | 242 × 166 × 33 mm · 908 g |
| 言語 | 英語 |
すべて表示
