Proof and Computation

by Helmut Schwichtenberg

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques...

• Format: Paperback
• Language: English
• ISBN: 3642793630
• ISBN13: 9783642793639
• Release Date: December 2011
• Publisher: Springer
• Length: 470 Pages
• Weight: 1.49 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"