Band 139
Proof and Computation
Aus der Reihe
NATO ASI Subseries F:
-
- Hardcover
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
Fr. 137.00
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
13.12.2011
Herausgeber
Helmut SchwichtenbergVerlag
Springer BerlinSeitenzahl
470
Maße (L/B/H)
23.5/15.5/2.7 cm
Gewicht
733 g
Auflage
Softcover reprint of the original 1st ed. 1995
Sprache
Englisch
ISBN
978-3-642-79363-9
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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung