Jan (Charles University, Prague) Krajicek
Cambridge University Press
e druk, 2025
9781009611701
Proof Complexity Generators
Specificaties
Paperback, 134 blz.
|
EN
Cambridge University Press |
e druk, 2025
ISBN13: 9781009611701
Rubricering
Juridisch
:
Onderdeel van serie
London Mathematical Society Lecture Note Series
Levertijd ongeveer 8 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9781009611701
Taal:EN
Bindwijze:Paperback
Aantal pagina's:134
Uitgever:Cambridge University Press
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht