1. Logical foundations of proof complexit
Author: / Stephen Cook, Phuong Nguyen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity.,Proof theory.,Logic, Symbolic and mathematical.
Classification :
QA
,
267
.
7
,.
C695
,
2010
,
WEB
