Proof and Computation / NATO ASI Subseries F: Bd.139 (PDF)
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
96.29 €
48 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Proof and Computation / NATO ASI Subseries F: Bd.139 (PDF)“
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.
Bibliographische Angaben
- 2012, 1995, 470 Seiten, Englisch
- Herausgegeben: Helmut Schwichtenberg
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3642793614
- ISBN-13: 9783642793615
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 53 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Proof and Computation / NATO ASI Subseries F: Bd.139"
0 Gebrauchte Artikel zu „Proof and Computation / NATO ASI Subseries F: Bd.139“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Proof and Computation / NATO ASI Subseries F: Bd.139".
Kommentar verfassen