Automated Deduction – CADE 26
Produktnummer:
186dff84153d314c528c12c2510c169cf3
| Themengebiete: | SAT encoding abstract interpretation encryption higher-order logic integer arithmetic logical frameworks modal logic model theory program synthesis proof automation |
|---|---|
| Veröffentlichungsdatum: | 11.07.2017 |
| EAN: | 9783319630458 |
| Sprache: | Englisch |
| Seitenzahl: | 582 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | de Moura, Leonardo |
| Verlag: | Springer International Publishing |
| Untertitel: | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings |
Produktinformationen "Automated Deduction – CADE 26"
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
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