Gå direkt till innehållet
Proof and Computation
Spara

Proof and Computation

Lägsta pris på PriceRunner
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.
Upplaga
Softcover reprint of the original 1st ed. 1995
ISBN
9783642793639
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-12-13
Sidor
470