Gå direkt till innehållet
Proof and Computation
Spara

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