Proof Complexity Generators, Taschenbuch von Krajícek, Jan, wie neu gebraucht, gratis...
Proof Complexity Generators, Paperback by Krajícek, Jan, ISBN 1009611704, ISBN-13 9781009611701, Like New Used, Free shipping in the US "This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted"-- Provided by publisher.
Jetzt bei Ebay: