
Forcing with Random Variables and Proof Complexity
Jan Krajicek
₹4,475

by Madhu Sudan
Springer · 1995
Free delivery. Nothing extra to pay at checkout.
Available Offers
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems is written by Madhu Sudan. This edition is published by Springer (1995). The book is part of the Lecture notes in computer science series.
Topics covered include Computational complexity, NP-complete problems and Automatic theorem proving.