Forcing with Random Variables and Proof Complexity 1
bokomslag Forcing with Random Variables and Proof Complexity
Vetenskap & teknik

Forcing with Random Variables and Proof Complexity

Jan Krajicek • Jan KrajíčEk • Jan Krajícek • Jan Krají¿Ek

Pocket

989:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Denna produkt går inte att reservera, köp den gärna online!

  • 264 sidor
  • 2010
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.
  • Författare: Jan Krajicek, Jan KrajíčEk, Jan Krajícek, Jan Krají¿Ek
  • Format: Pocket/Paperback
  • ISBN: 9780521154338
  • Språk: Engelska
  • Antal sidor: 264
  • Utgivningsdatum: 2010-12-23
  • Förlag: Cambridge University Press

Du kanske gillar

Andra av samma författare

  1. bokomslag Arithmetic, Proof Theory, and Computational Complexity

    Arithmetic, Proof Theory, and Computa...

    Clote, Krajicek, Peter Clote, Jan Krajícek

    Inbunden

    2109:-
  2. bokomslag Bounded Arithmetic, Propositional Logic and Complexity Theory

    Bounded Arithmetic, Propositional Log...

    Jan Krajicek, Jan Krajicek, G-C Rota, B Doran

    Inbunden

    2249:-
  3. Kommande
    bokomslag Proof Complexity Generators

    Proof Complexity Generators

    Jan KrajíčEk, Jan Krají?Ek, Jan Krajicek, Jan KrajíčEk, Krají&

    759:-
  4. bokomslag Proof Complexity

    Proof Complexity

    Jan Krají?Ek, Jan Krajicek, Jan KrajíčEk, Jan Krajícek, Jan Krají¿Ek

    Inbunden

    2419:-
  5. bokomslag Logic Colloquium '01

    Logic Colloquium '01

    Matthias Baaz, Sy-David Friedman, Jan Krajícek, Jan Krajicek

    Inbunden

    959:-
  6. bokomslag Logic Colloquium '01

    Logic Colloquium '01

    Matthias Baaz, Sy-David Friedman, Jan Krajícek, Jan Krajicek

    Pocket

    559:-

Andra i serien

  1. Kommande
    bokomslag Proof Complexity Generators

    Proof Complexity Generators

    Jan KrajíčEk, Jan Krají?Ek, Jan Krajicek, Jan KrajíčEk, Krají&

    759:-