Articoli correlati a Intelligent Computer Mathematics: 17th International...
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings: 17th International ... August 5–9, 2024, Proceedings: 14960 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 90,36
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Intelligent Computer Mathematics: 17th International...
Immagini fornite dal venditore
Intelligent Computer Mathematics
Editore:
Springer, Berlin|Springer Nature Switzerland|Springer, 2024
ISBN 10: 3031669967
ISBN 13: 9783031669965
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 1722355813
Quantità: Più di 20 disponibili
Foto dell'editore
Intelligent Computer Mathematics (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo CHMWZZTVZ4
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics
Editore:
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031669967
ISBN 13: 9783031669965
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783031669965
Quantità: 2 disponibili