Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity

av Jan (Charles University Krajicek

del av London Mathematical Society Lecture Note Series-serien

Forcing with Random Variables and Proof Complexity av Jan (Charles University Krajicek
Om Forcing with Random Variables and Proof Complexity

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521154338
  • Format:
  • Häftad
  • Sidor:
  • 264
  • Utgiven:
  • 23 December 2010
  • Mått:
  • 152x225x15 mm.
  • Vikt:
  • 382 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 29 Oktober 2024

Om Jan (Charles University Krajicek

Se alla böcker av Jan (Charles University Krajicek

Beskrivning av Forcing with Random Variables and Proof Complexity

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.

Användarnas betyg av Forcing with Random Variables and Proof Complexity



Andra köpte även...
Hitta liknande böcker
Boken Forcing with Random Variables and Proof Complexity finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.