Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings: 14960 (Lecture Notes in Computer Science, 14960) - Softcover
Synopsis
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 Certification; Proof Search and Formalization & System Descriptions.
"synopsis" may belong to another edition of this title.
Search results for Intelligent Computer Mathematics: 17th International...
Stock Image
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montrà al, QC, Canada, August 5â"9, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Seller Inventory # mon0003858397
Stock Image
Intelligent Computer Mathematics (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # CHMWZZTVZ4
Buy New
£ 83.95
£ 5.88 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Intelligent Computer Mathematics
Published by
Springer, Berlin|Springer Nature Switzerland|Springer, 2024
ISBN 10: 3031669967
ISBN 13: 9783031669965
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1722355813
Buy New
£ 80.48
£ 42.36 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Intelligent Computer Mathematics
Published by
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031669967
ISBN 13: 9783031669965
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutesthe 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. 362 pp. Englisch. Seller Inventory # 9783031669965
Seller Image
Intelligent Computer Mathematics | 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Intelligent Computer Mathematics | 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings | Andrea Kohlhase (u. a.) | Taschenbuch | xvii | Englisch | 2024 | Springer | EAN 9783031669965 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 129529543
Seller Image
Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Published by
Springer, Berlin, Springer, 2024
ISBN 10: 3031669967
ISBN 13: 9783031669965
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutesthe 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. Seller Inventory # 9783031669965