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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Title:

Author:

Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702

ISBN:

9783031669972

Edition:

1st ed. 2024.

Physical Description:

XVII, 362 p. 185 illus., 87 illus. in color. online resource.

Series:

Lecture Notes in Artificial Intelligence, 14960

Abstract:

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.

Subject Term:

Artificial intelligence.

Machine theory.

Social sciences -- Data processing.

Education -- Data processing.

Algorithms.

Application software.

Formal Languages and Automata Theory.

Computer Application in Social and Behavioral Sciences.

Computers and Education.

Design and Analysis of Algorithms.

Computer and Information Systems Applications.