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
Cambridge Primary Mathematics Learner's Book 2 with Digital Access (1 Year), Paperback/Cherri Moseley
de la 184,99 RON
2
În stoc
Cambridge University Press
Cambridge Primary Science Workbook 2 with Digital Access (1 Year), Paperback/Jon Board
de la 61,99 RON
2
În stoc
Cambridge University Press
Cambridge English First 3 Student's Book with Answers, Paperback/***
de la 179,99 RON
2
În stoc
Cambridge University Press
Cambridge Global English Starters Learner's Book C, Paperback/Gabrielle Pritchard
de la 73,99 RON
2
În stoc