Cambridge University Press

Proof Complexity Generators, Paperback/***

324,99 lei

✔ În stoc la elefant.ro

Vezi oferta la elefant.ro

Preț actualizat: 2026-06-05 · link afiliat

Descriere & specificații

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

Produse similare

324,99 lei
Vezi oferta →
Folosim cookie-uri pentru funcționare și statistici. Detalii