語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logical foundations of proof complex...
~
Cook, Stephen, (1948-)
FindBook
Google Book
Amazon
博客來
Logical foundations of proof complexity /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Logical foundations of proof complexity // Stephen Cook, Phuong Nguyen.
作者:
Cook, Stephen,
其他作者:
Nguyen, Phuong,
出版者:
Ithaca, NY :Association for Symbolic Logic ; : 2010.,
面頁冊數:
xv, 479 p. :ill. ;25 cm.
標題:
Computational complexity. -
ISBN:
9780521517294 (alk. paper) :
Logical foundations of proof complexity /
Cook, Stephen,1948-
Logical foundations of proof complexity /
Stephen Cook, Phuong Nguyen. - Ithaca, NY :Association for Symbolic Logic ;2010. - xv, 479 p. :ill. ;25 cm. - Perspectives in logic.
Includes bibliographical references (p. 457-464) and index.
ISBN: 9780521517294 (alk. paper) :US83.00
LCCN: 2009051396Subjects--Topical Terms:
523870
Computational complexity.
LC Class. No.: QA267.7 / .C695 2010
Dewey Class. No.: 511.3/6
Logical foundations of proof complexity /
LDR
:00734cam 2200217 a 4500
001
975104
003
DLC
005
20100825170038.0
008
111017s2010 nyua b 001 0 eng
010
$a
2009051396
020
$a
9780521517294 (alk. paper) :
$c
US83.00
020
$a
052151729X (alk. paper)
035
$a
(OCoLC)ocn466341175
035
$a
AS-BW-100-N-01
040
$a
DLC
$c
DLC
$d
YDX
$d
YDXCP
$d
CDX
$d
BWK
$d
BWX
$d
DLC
050
0 0
$a
QA267.7
$b
.C695 2010
082
0 0
$a
511.3/6
$2
22
100
1
$a
Cook, Stephen,
$d
1948-
$3
1299002
245
1 0
$a
Logical foundations of proof complexity /
$c
Stephen Cook, Phuong Nguyen.
260
#
$a
Ithaca, NY :
$b
Association for Symbolic Logic ;
$a
New York, NY :
$b
Cambridge University Press,
$c
2010.
300
$a
xv, 479 p. :
$b
ill. ;
$c
25 cm.
490
0
$a
Perspectives in logic
504
$a
Includes bibliographical references (p. 457-464) and index.
650
# 0
$a
Computational complexity.
$3
523870
650
# 0
$a
Proof theory.
$3
543782
650
# 0
$a
Logic, Symbolic and mathematical.
$3
532051
700
1 #
$a
Nguyen, Phuong,
$d
1977-
$3
1299003
筆 0 讀者評論
館藏地:
全部
六樓西文書區HC-Z(6F Western Language Books)
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W0176580
六樓西文書區HC-Z(6F Western Language Books)
01.外借(書)_YB
一般圖書
QA267.7 C695 2010
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入