Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Andrea Kohlhase , Laura KovácsPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2024 ed. Volume: 14960 ISBN: 9783031669965ISBN 10: 3031669967 Pages: 362 Publication Date: 04 August 2024 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
