Visit our Christmas Gift Finder
Proof and Computation - Nato ASI Subseries F: 139 (Paperback)
  • Proof and Computation - Nato ASI Subseries F: 139 (Paperback)
zoom

Proof and Computation - Nato ASI Subseries F: 139 (Paperback)

(editor)
£114.00
Paperback 470 Pages / Published: 13/12/2011
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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. 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 are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642793639
Number of pages: 470
Weight: 732 g
Dimensions: 235 x 155 x 24 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Enterprise Data Architecture
Added to basket
Computer Systems Architecture
Added to basket
The Soar Cognitive Architecture
Added to basket
Computer Systems Architecture
Added to basket
Beyond Software Architecture
Added to basket
Articulating Design Decisions
Added to basket
Principles of Computer Hardware
Added to basket
Professional CUDA C Programming
Added to basket
The Art of Scalability
Added to basket

Please sign in to write a review

Your review has been submitted successfully.