vândut de elefant.ro
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 PressAuthor(s): Jan (Charles University, Prague) KrajicekIllustration(s): Worked examples or ExercisesNumber of pages: 134Collection: London Mathematical Society Lecture Note SeriesPublication date: 2025Dimensions: 228 x 153 x 9Cover type: Paperback / softback
Preț:
Vânzător: Elefant.ro
Brand: Cambridge University Press
