Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montreal, QC, Canada, August 5–9, 2024, Proceedings

Name: Intelligent Computer Mathematics
Brand: Springer International Publishing AG
SKU: 9783031669965
Price: 10800 KES
Availability: OutOfStock
ISBN: 9783031669965

2024 ed.

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3031669967

ISBN-13 9783031669965

Edition 2024 ed.

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture GB

Country of Publication GB

Publication Date Aug 4th, 2024

Print length 362 Pages

Product Classification: Social research & statistics Social research and statistics Educational equipment & technology, computer-aided learning (CAL)Educational equipment and technology, computer-aided learning (CAL)Digital and Information technology: general topics Information technology: general issues Mathematical theory of computation Artificial intelligence Artificial intelligence (AI)

KSh 10,800.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montreal, 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.

Get Intelligent Computer Mathematics by Andrea Kohlhase at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 362 pages.