Logic and Computer Science / Lecture Notes in Mathematics Bd.1429 (PDF)
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
(Sprache: Englisch)
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture...
sofort als Download lieferbar
eBook (pdf)
Fr. 36.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic and Computer Science / Lecture Notes in Mathematics Bd.1429 (PDF)“
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
Bibliographische Angaben
- Autoren: Steven Homer , Anil Nerode , Richard A. Platek , Gerald E. Sacks , Andre Scedrov
- 2006, 1990, 170 Seiten, Englisch
- Herausgegeben: Piergiorgio Odifreddi
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540471359
- ISBN-13: 9783540471356
- Erscheinungsdatum: 14.11.2006
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 10 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Logic and Computer Science / Lecture Notes in Mathematics Bd.1429"
0 Gebrauchte Artikel zu „Logic and Computer Science / Lecture Notes in Mathematics Bd.1429“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Logic and Computer Science / Lecture Notes in Mathematics Bd.1429".
Kommentar verfassen