Krajicek – författare

Visar alla böcker från författaren Krajicek. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Arithmetic, Proof Theory, and Computational Complexity

   Av Clote, Krajicek m. fl.

   Inbunden, 1993

   1811 kr

   Lägg i varukorg

   This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. Issuing from a two-year NSF and Czech Academy of Sciences …