สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

| |

Type	Book
ชื่อเรื่อง	Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen
ผู้แต่ง	Cook, Stephen
ISBN	9780521517294
พิมพลักษณ์	Ithaca, N.Y. : Association for Symbolic Logic, 2010
รูปเล่ม	xv, 479 p ; 24 cm
หัวเรื่อง	Computational complexity
	Logic, Symbolic and mathematical
	Proof theory

1	มหาวิทยาลัยมหิดล 25/25 หมู่ 5 ถนนพุทธมณฑลสาย 4 ตำบลศาลายา อำเภอพุทธมณฑล จังหวัดนครปฐม 73170 Loading items...

Reviews loading...