Logical foundations of proof complexity
CiNii
所蔵館 6館
書誌事項
- タイトル
- "Logical foundations of proof complexity"
- 責任表示
- Stephen Cook, Phuong Nguyen
- 出版者
-
- Association for Symbolic Logic
- Cambridge University Press
- 出版年月
-
- 2014, c2010
- 書籍サイズ
- 24 cm
- シリーズ名/番号
-
- : pbk
この図書・雑誌をさがす
注記
Includes bibliographical references (p. 457-464) and index
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130282271857680640
-
- NII書誌ID
- BB15676230
-
- ISBN
- 9781107694118
-
- 本文言語コード
- en
-
- 出版国コード
- xx
-
- タイトル言語コード
- en
-
- 出版地
-
- [S.l.]
- New York
-
- データソース種別
-
- CiNii Books