Siirry suoraan sisältöön
Proof and Computation
Tallenna

Proof and Computation

Logical concepts and methods are of growing importance in many areas of computer science. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure.
Painos
Softcover reprint of the original 1st ed. 1995
ISBN
9783642793639
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
13.12.2011
Sivumäärä
470