Utvidet returrett til 31. januar 2024

Forcing with Random Variables and Proof Complexity

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521154338
  • Bindende:
  • Paperback
  • Sider:
  • 264
  • Utgitt:
  • 23. desember 2010
  • Dimensjoner:
  • 152x225x15 mm.
  • Vekt:
  • 382 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 5. desember 2024

Beskrivelse 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.

Brukervurderinger av Forcing with Random Variables and Proof Complexity



Finn lignende bøker
Boken Forcing with Random Variables and Proof Complexity finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.