Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings by Andrea Kohlhase, Laura Kovács
English | PDF EPUB (True) | 2024 | 367 Pages | ISBN : 3031669967 | 55.7 MB
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 Certification; Proof Search and Formalization & System Descriptions.
https://i124.fastpic.org/big/2024/0908/e2/f28bc1982343be1c8d32ca8d3181a4e2.jpg
Free Download TakeFile
https://takefile.link/kukqkw0j8len/o0ar1.rar.html
https://fikper.com/Wsj52Ix8I1/o0ar1.rar.html
Links are Interchangeable - Single Extraction
Книги
