DRM-beskyttet

Intelligent Computer Mathematics

- 17th International Conference, CICM 2024, Montreal, QC, Canada, August 5-9, 2024, Proceedings

Forfatter: info mangler

E-bog

Format
E-bog, ePub
Engelsk

Indgår i serie
Lecture Notes in Computer Science

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 1.299,95

Medlemspris: kr. 1.239,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: Straks (sendes på e-mail)
Split betalingen op med

Beskrivelse

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

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Udgivelsesdato03-08-2024
ISBN139783031669972
Forlag Springer Nature Switzerland
FormatePub

Intelligent Computer Mathematics

- 17th International Conference, CICM 2024, Montreal, QC, Canada, August 5-9, 2024, Proceedings

Findes i disse kategorier...