Proof and Computation - 8 Angebote vergleichen
Preise | 2013 | 2015 | 2019 | 2020 |
---|---|---|---|---|
Schnitt | € 91,65 | € 101,48 | € 121,53 | € 139,09 |
Nachfrage |
Proof and Computation (Paperback) (2011)
ISBN: 9783642793639 bzw. 3642793630, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.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. Softcover reprint of the original 1st ed. 1995.
Proof and Computation
ISBN: 9783642793639 bzw. 3642793630, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
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. Soft cover.
| Proof and Computation | Springer | 2011
ISBN: 9783642793639 bzw. 3642793630, vermutlich in Englisch, Springer, neu.
Proof and Computation Helmut Schwichtenberg Editor
ISBN: 9783642793639 bzw. 3642793630, vermutlich in Englisch, Springer Berlin Heidelberg, Taschenbuch, neu.
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.
Proof and Computation
ISBN: 9783642793639 bzw. 3642793630, vermutlich in Englisch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, neu.
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.
Proof and Computation (2011)
ISBN: 9783642793639 bzw. 3642793630, vermutlich in Englisch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, Taschenbuch, neu, Nachdruck.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Proof and Computation (2011)
ISBN: 3642793630 bzw. 9783642793639, vermutlich in Englisch, Springer Berlin Heidelberg; Springer-Verlag GmbH, Taschenbuch, neu, Nachdruck.
Softcover reprint of the original 1st ed. 1995 Kartoniert / Broschiert, neu, 2017-10-24.