Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logical foundations of proof complex...
~
Cook, Stephen, (1948-)
Linked to FindBook
Google Book
Amazon
博客來
Logical foundations of proof complexity /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Logical foundations of proof complexity // Stephen Cook, Phuong Nguyen.
Author:
Cook, Stephen,
other author:
Nguyen, Phuong,
Published:
Ithaca, NY :Association for Symbolic Logic ; : 2010.,
Description:
xv, 479 p. :ill. ;25 cm.
Subject:
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
based on 0 review(s)
Location:
ALL
六樓西文書區HC-Z(6F Western Language Books)
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W0176580
六樓西文書區HC-Z(6F Western Language Books)
01.外借(書)_YB
一般圖書
QA267.7 C695 2010
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login