Scan barcode
470 pages • missing pub info (editions)
ISBN/UID: 9783642793639
Format: Paperback
Language: English
Publisher: Springer
Publication date: 13 December 2011
Description
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...
Community Reviews
Content Warnings
470 pages • missing pub info (editions)
ISBN/UID: 9783642793639
Format: Paperback
Language: English
Publisher: Springer
Publication date: 13 December 2011
Description
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...
Community Reviews
Content Warnings