Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity

del av Oxford Logic Guides-serien

Arithmetic, Proof Theory, and Computational Complexity
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198536901
  • Format:
  • Inbunden
  • Sidor:
  • 442
  • Utgiven:
  • 6. maj 1993
  • Mått:
  • 162x242x30 mm.
  • Vikt:
  • 810 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 10. december 2024

Beskrivning av 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.

Användarnas betyg av Arithmetic, Proof Theory, and Computational Complexity



Andra köpte även...
Hitta liknande böcker
Boken Arithmetic, Proof Theory, and Computational Complexity finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.