This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montreal, Quebec, 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.
€127.61
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप EPUB ● ISBN 9783031669972 ● संपादक Andrea Kohlhase & Laura Kovacs ● प्रकाशक Springer Nature Switzerland ● प्रकाशित 2024 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 9589684 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है
एक ही लेखक से अधिक ईबुक / संपादक
128,734 इस श्रेणी में ईबुक
