Gå direkte til innholdet
Logic of Computation
Spar

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.
Opplag
Softcover reprint of the original 1st ed. 1997
ISBN
9783642638329
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
13.10.2012
Antall sider
403