1009:-
Uppskattad leveranstid 11-22 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This book constitutesthe 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.
- Format: Pocket/Paperback
- ISBN: 9783031669965
- Språk: Engelska
- Antal sidor: 362
- Utgivningsdatum: 2024-08-04
- Förlag: Springer International Publishing AG