Vertel uw vrienden over dit artikel:
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
Prijs
S$ 85,02
Besteld in een afgelegen magazijn
Verwachte levering 8 - 11 jul. 2025
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Wordt vrijgegeven | 30 juni 2025 |
| ISBN13 | 9781009611701 |
| Uitgevers | Cambridge University Press |
| Pagina's | 143 |
| Afmetingen | 320 g (Gewicht (geschat)) |
Alles tonen
Meer door Krajicek, Jan (Charles University, Prague)
Bekijk alles van Krajicek, Jan (Charles University, Prague) ( bijv. Paperback Book en Hardcover Book )