Siirry suoraan sisältöön
Logic of Computation
Tallenna

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.
Painos
Softcover reprint of the original 1st ed. 1997
ISBN
9783642638329
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
13.10.2012
Sivumäärä
403