Gå direkt till innehållet
Logic of Computation
Spara

Logic of Computation

• Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to develop a general mathematical understanding of complexity questions.
Upplaga
Softcover reprint of the original 1st ed. 1997
ISBN
9783642638329
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
13.10.2012
Sidor
403