You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
470 pages • missing pub info (view editions)
ISBN/UID: 9783642793639
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: Not specified
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 (view editions)
ISBN/UID: 9783642793639
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: Not specified
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