Produktnummer:
1876f1af8fcaae4c8ea07c5c30b3db76fa
| Themengebiete: | AI Computer algebra LLM automated deduction logical framework mathematical knowledge formalization proof assistants proof certification proof search theorem proving |
|---|---|
| Veröffentlichungsdatum: | 04.08.2024 |
| EAN: | 9783031669965 |
| Sprache: | Englisch |
| Seitenzahl: | 362 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Kohlhase, Andrea Kovács, Laura |
| Verlag: | Springer International Publishing |
| Untertitel: | 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings |
Produktinformationen "Intelligent Computer Mathematics"
This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5–9, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certi?cation; Proof Search and Formalization & System Descriptions.
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