De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity

af Jan (Charles University Krajicek

indgår i London Mathematical Society Lecture Note Series serien

Forcing with Random Variables and Proof Complexity af Jan (Charles University Krajicek
Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521154338
  • Indbinding:
  • Paperback
  • Sideantal:
  • 264
  • Udgivet:
  • 23. december 2010
  • Størrelse:
  • 152x225x15 mm.
  • Vægt:
  • 382 g.
  • 8-11 hverdage.
  • 11. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Jan (Charles University Krajicek

Vis alle bøger af Jan (Charles University Krajicek

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

Brugerbedømmelser af Forcing with Random Variables and Proof Complexity



Andre købte også..
Find lignende bøger
Bogen Forcing with Random Variables and Proof Complexity findes i følgende kategorier: