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
DKK 421,52

Tilattu etävarastosta

Arvioitu toimitus ti 4. - 11. marras
Joululahjoja voi vaihtaa 31.1. asti

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 )