{"product_id":"proof-and-computation-von-helmut-schwichtenberg-hrsg","title":"Proof and Computation","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 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642793639\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783642793639","offer_id":39444735983709,"sku":"9783642793639","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2e4d33cc-5719-489b-aa1c-a162e6e8f813.jpg?v=1753507265","url":"https:\/\/shop.autorenwelt.de\/products\/proof-and-computation-von-helmut-schwichtenberg-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}