Studiebog

Intelligent Computer Mathematics

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

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
- Lecture Notes in Computer Science
- og Lecture Notes in Artificial Intelligence

Normalpris

kr. 849,95

Medlemspris

kr. 799,95

Du sparer kr. 50,00
Fri fragt

Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 10-03-2026
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal362
Udgivelsesdato04-08-2024
ISBN139783031669965
Forlag Springer International Publishing AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

ai Theorem proving Proof search Automated deduction Digital mathematical libraries Proof assistants Proof transformations logical framework