Gå direkte til innholdet
Proof and Computation
Spar

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.
Opplag
Softcover reprint of the original 1st ed. 1995
ISBN
9783642793639
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
13.12.2011
Antall sider
470