Jan (Charles University Krajicek Forfatter

Visning: Type : Bog | Sprog : Alle | Format : Alle Der vises kun bøger

• 

  PRIS

  687,- kr

  FRAGT FRA 39,-

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Forcing with Random Variables and Proof Complexity (Bog, Paperback / softback, Engelsk)

  Af: Jan (Charles University Krajicek

  Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.

  PRIS

  687,- kr

  FRAGT FRA 39,-

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Læg i kurv
• 

  PRIS

  552,- kr

  FRAGT FRA 39,-

  Levering: 6 - 9 hverdage

  Bemærk: Kan leveres før jul.

  Proof Complexity Generators (Bog, Paperback / softback, Engelsk)

  Af: Jan (Charles University Krajicek

  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... Læs mere

  PRIS

  552,- kr

  FRAGT FRA 39,-

  Levering: 6 - 9 hverdage

  Læg i kurv