Proof Complexity Generators, Paperback/***
Momentan nu sunt oferte disponibile.
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. Publisher: Cambridge University Press Author(s): Jan (Charles University, Prague) Krajicek Illustration(s): Worked examples or Exercises Number of pages: 134 Collection: London Mathematical Society Lecture Note Series Publication date: 2025 Dimensions: 228 x 153 x 9 Cover type: Paperback / softback
- Brand
- Cambridge University Press
- subcategory
- Carte straina/Computing & information technology
Alte produse asemănătoare
Cambridge University Press
The Mughal Empire, Paperback/John F. Richards
de la 162,74 RON
1
În stoc
Cambridge University Press
English A: Language and Literature for the Ib Diploma Exam Preparation and Practice with Digital Access (2 Year)/Nic Amy
de la 169,99 RON
1
În stoc
Cambridge University Press
Images of Myths in Classical Antiquity, Paperback/Susan Woodford
de la 188,59 RON
1
În stoc
Cambridge University Press
Migration and Integration. The Case for Liberalism with Borders, Hardback/Tom Farer
de la 598,99 RON
1
În stoc