Basket: 0 items £0.00
Submit an Enquiry or Call Us +44 (0) 1482 384660
Image for Proof and Computation : Proceedings of the NATO Advanced Study Institute on Proof and Computation, Held in Marktoberdorf, Germany, July 20-August 1, 1993

Proof and Computation : Proceedings of the NATO Advanced Study Institute on Proof and Computation, Held in Marktoberdorf, Germany, July 20-August 1, 1993

By: Schwichtenberg, Helmut(Edited by)

Part of the NATO Asi series
3540585818 / 9783540585817
Hardback
511.30285
20/06/1995
Usually dispatched within 4 weeks
Germany
138 x 216 mm, 755 grams 477 pages, Illustrations
Professional & Vocational  Learn More Postgraduate, Research & Scholarly

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 computational procedure.

Conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques.

This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory.

The subjects covered include specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

BIC:

PBCD Mathematical logic, UY Computer science

Our price£109.99
Save up to 15%*
* Variable discounts between 0% and 15% are applied to items where BBfS cannot determine exact discounts from suppliers.