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. Proof Complexity

Proof Complexity

af Jan (Charles University Krajicek

indgår i Encyclopedia of Mathematics and its Applications serien

Proof Complexity af Jan (Charles University Krajicek
Bag om Proof Complexity

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781108416849
  • Indbinding:
  • Hardback
  • Sideantal:
  • 530
  • Udgivet:
  • 28. marts 2019
  • Størrelse:
  • 242x166x33 mm.
  • Vægt:
  • 908 g.
  • 8-11 hverdage.
  • 11. december 2024
På lager
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 Proof Complexity

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.

Brugerbedømmelser af Proof Complexity



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