Interactive Theorem Proving / Lecture Notes in Computer Science Bd.10895 (PDF)
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
(Sprache: Englisch)
Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
sofort als Download lieferbar
eBook (pdf)
98.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Interactive Theorem Proving / Lecture Notes in Computer Science Bd.10895 (PDF)“
Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Bibliographische Angaben
- 2018, 1st ed. 2018, 642 Seiten, Englisch
- Herausgegeben: Jeremy Avigad, Assia Mahboubi
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319948210
- ISBN-13: 9783319948218
- Erscheinungsdatum: 03.07.2018
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 21 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Interactive Theorem Proving / Lecture Notes in Computer Science Bd.10895"
Schreiben Sie einen Kommentar zu "Interactive Theorem Proving / Lecture Notes in Computer Science Bd.10895".
Kommentar verfassen