De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Arithmetic, Proof Theory, and Computational Complexity

Bag om Arithmetic, Proof Theory, and Computational Complexity

This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780198536901
  • Indbinding:
  • Hardback
  • Sideantal:
  • 442
  • Udgivet:
  • 6. maj 1993
  • Størrelse:
  • 162x242x30 mm.
  • Vægt:
  • 810 g.
  • 2-3 uger.
  • 6. december 2024
På lager

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.

Beskrivelse af Arithmetic, Proof Theory, and Computational Complexity

This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.

Brugerbedømmelser af Arithmetic, Proof Theory, and Computational Complexity



Find lignende bøger
Bogen Arithmetic, Proof Theory, and Computational Complexity findes i følgende kategorier: