Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings: 14960 (Lecture Notes in Computer Science, 14960) - Image 1

£68.94

Springer Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings: 14960 (Lecture Notes in Computer Science, 14960)

Name: https://www.amazon.co.uk/dp/B0D21158GV?tag=tosheroon-21
Brand: Springer
Price: 68.94 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 10 days • 10 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 10 days • 1 price levels

Days at Price

Price Analysis

Most common price: £69 (10 days, 100.0%)

Price range: £69 - £69

Price levels: 1 different prices over 10 days

Description

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 Certiﬁcation; Proof Search and Formalization & System Descriptions.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031669967
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 04 August 2024
Listed Since: 21 June 2024

Barcode

No barcode data available

Springer Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings: 14960 (Lecture Notes in Computer Science, 14960)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings: 14101 (Lecture Notes in Computer Science, 14101)

Intelligent Computing Theories and Application: 17th International Conference, ICIC 2021, Shenzhen, China, August 12–15, 2021, Proceedings, Part I: 12836 (Lecture Notes in Computer Science, 12836)

Intelligent Computing Methodologies: 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part III: 11645 (Lecture Notes in Computer Science, 11645)

Proceedings of the Tenth International Conference on Mathematics and Computing: ICMC 2024, Volume 1: 964 (Lecture Notes in Networks and Systems, 964)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14876)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14874)

Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 1: 1228 (Advances in Intelligent Systems and Computing, 1228)

Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part IX: 15209 (Lecture Notes in Computer Science, 15209)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14867)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14878)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14865)

Intelligent Computing Theories and Application: 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I: 10954 (Lecture Notes in Computer Science, 10954)

Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 2: 1229 (Advances in Intelligent Systems and Computing, 1229)

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings: 14846 (Lecture Notes in Computer Science, 14846)

Innovative Technologies and Learning: 7th International Conference, ICITL 2024, Tartu, Estonia, August 14–16, 2024, Proceedings, Part I: 14785 (Lecture Notes in Computer Science, 14785)

Proceedings of the 3rd International Conference on Machine Learning, Cloud Computing and Intelligent Mining (MLCCIM2024): Volume 2: 1327 (Lecture Notes in Electrical Engineering, 1327)

Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part VII: 15207 (Lecture Notes in Computer Science, 15207)

Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part VIII: 15208 (Lecture Notes in Computer Science, 15208)

Advanced Intelligent Computing Theories and Applications: Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August ... (Lecture Notes in Computer Science, 4682)

Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part V: 15205 (Lecture Notes in Computer Science, 15205)

Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part III: 15203 (Lecture Notes in Computer Science, 15203)

Computational Intelligence: 14th and 15th International Joint Conference on Computational Intelligence (IJCCI 2022 and IJCCI 2023) Revised Selected ... (Studies in Computational Intelligence, 1196)

Proceedings of International Conference on Computational Intelligence, Data Science and Cloud Computing: IEM-ICDC 2021 (Algorithms for Intelligent Systems)

Intelligent Computing Theories and Application: 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I: 9771 (Lecture Notes in Computer Science, 9771)