Proof Complexity Generators - London Mathematical Society Lecture Note Series - Krajicek, Jan (Charles University, Prague) - Kirjat - Cambridge University Press - 9781009611701 - torstai 26. kesäkuuta 2025
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Proof Complexity Generators - London Mathematical Society Lecture Note Series

Krajicek, Jan (Charles University, Prague)

Hinta
₩ 93.170

Tilattu etävarastosta

Arvioitu toimitus ti 14. - 21. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Proof Complexity Generators - London Mathematical Society Lecture Note Series

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.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 26. kesäkuuta 2025
ISBN13 9781009611701
Tuottaja Cambridge University Press
Sivujen määrä 134
Mitta 153 × 228 × 9 mm   ·   206 g
Näytä kaikki

Lisää tuotteita Krajicek, Jan (Charles University, Prague)

Katso kaikki joka sisältää Krajicek, Jan (Charles University, Prague) ( Esim. Paperback Book Ja Hardcover Book )