Logical foundations of proof complexity
Stephen Cook, Phuong Nguyen
Bok Engelsk 2010
Utgitt | Cambridge : Cambridge University Press , 2010
|
---|---|
Omfang | XV, 479 s.
|
Emner | |
Dewey | |
ISBN | 9780521517294
|
Utgitt | Cambridge : Cambridge University Press , 2010
|
---|---|
Omfang | XV, 479 s.
|
Emner | |
Dewey | |
ISBN | 9780521517294
|