The following text field will produce suggestions that follow it as you type.

Home

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

Barnes and Noble

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

Current price: $74.99
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

Barnes and Noble

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

Current price: $74.99

Size: OS

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
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.

You May Also Like

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, Proceedings
Loading Inventory...
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, Proceedings
Barnes and Noble
Current price: $54.99
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings
Loading Inventory...
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings
Barnes and Noble
Current price: $79.99
Computational Collective Intelligence: 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, Proceedings
Loading Inventory...
Computational Collective Intelligence: 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, Proceedings
Barnes and Noble
Current price: $119.99
Intelligent Computing Theories and Application: 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part II
Loading Inventory...
Intelligent Computing Theories and Application: 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part II
Barnes and Noble
Current price: $109.99
Computational Intelligence and Smart Communication: First International Conference, ICCISC 2022, Dehradun, India, June 10-11, Revised Selected Papers
Loading Inventory...
Computational Intelligence and Smart Communication: First International Conference, ICCISC 2022, Dehradun, India, June 10-11, Revised Selected Papers
Barnes and Noble
Current price: $69.99
Computational Intelligence and Its Applications: 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Loading Inventory...
Computational Intelligence and Its Applications: 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Barnes and Noble
Current price: $189.00
Mathematics and Computing: 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
Loading Inventory...
Mathematics and Computing: 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
Barnes and Noble
Current price: $54.99
Computational Collective Intelligence: 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 - October 1, Proceedings
Loading Inventory...
Computational Collective Intelligence: 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 - October 1, Proceedings
Barnes and Noble
Current price: $119.99
Intelligent Computing Theories and Application: 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Loading Inventory...
Intelligent Computing Theories and Application: 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Barnes and Noble
Current price: $109.99
Intelligent Computing Systems: Second International Symposium, ISICS 2018, Merida, Mexico, March 21-23, 2018, Proceedings
Loading Inventory...
Intelligent Computing Systems: Second International Symposium, ISICS 2018, Merida, Mexico, March 21-23, 2018, Proceedings
Barnes and Noble
Current price: $54.99
Intelligent Computing: Proceedings of the 2023 Computing Conference, Volume 1
Loading Inventory...
Intelligent Computing: Proceedings of the 2023 Computing Conference, Volume 1
Barnes and Noble
Current price: $279.99
Advanced Computational Intelligence and Intelligent Informatics: 8th International Workshop, IWACIII 2023, Beijing, China, November 3-5, 2023, Proceedings, Part I
Loading Inventory...
Advanced Computational Intelligence and Intelligent Informatics: 8th International Workshop, IWACIII 2023, Beijing, China, November 3-5, 2023, Proceedings, Part I
Barnes and Noble
Current price: $84.99

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

men.jpg

Men

women.jpg

Women

baby abd kids.jpg

Baby and Kids

beaity.jpg

Beauty

jewelry.jpg

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info

Powered by Adeptmind