Udvidet returret til d. 31. januar 2025

Proof Complexity - Jan (Charles University Krajicek - Bog

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.
  • 7. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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



Find lignende bøger
Bogen Proof Complexity findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.