商品詳細 | Knowledge Worker

丸善のおすすめ度

Space in Weak Propositional Proof Systems '18

在庫状況海外在庫有り	お届け予定日 1ヶ月	数量冊
価格 \10,968（税込）

発行年月	2018年01月
出版社／提供元	Springer International Publishing
出版国	スイス
言語	英語
媒体	冊子
装丁	hardcover
ページ数／巻数	XVII, 130 p. 15 illus., 8 illus. in color.
ジャンル	洋書／理工学／情報科学／情報科学：概論
ISBN	9783319734521
商品コード	1026479171
本の性格	学術書
新刊案内掲載月	2018年02月
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1026479171

Introduction.- Total Space in Resolution.- Space in Polynomial Calculus.- Space Lower Bounds: Applications.- A Postlude: SETH and Resolution Size.

カート

カートに商品は入っていません。