Proof Complexity and Feasible Arithmetics

副标题: Dimacs Workshop April 21-24, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 39)

ISBN: 9780821805770

出版社: American Mathematical Society

出版年: 1997-10

定价: USD 68.00

装帧: Hardcover