Produktnummer:
182a8479eb5271491ea89e7ec8b42535d0
| Themengebiete: | Artificial intelligence Automated reasoning Computer software selection and evaluation Formalization of mathematics Formal methods Formal specifications Formal verification Logic and verification Problem solving Proof theory |
|---|---|
| Veröffentlichungsdatum: | 21.08.2017 |
| EAN: | 9783319661063 |
| Sprache: | Englisch |
| Seitenzahl: | 532 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ayala-Rincón, Mauricio Muñoz, César A. |
| Verlag: | Springer International Publishing |
| Untertitel: | 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings |
Produktinformationen "Interactive Theorem Proving"
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen