Price Ninja
Abbigliamento & Accessori
Migliori Ricerche moda sostenibile abbigliamento donna
Migliori Ricerche cinture in pelle di alta qualità
Migliori Prodotti anelli di fidanzamento
Migliori Ricerche collane con ciondolo personalizzato
Elettronica
Migliori Ricerche smartphone con la miglior fotocamera
Migliori Ricerche computer portatili con lunga durata della batteria
Migliori Ricerche smart TV con funzioni di streaming
Sport e attrezzature sportive
Migliori Prodotti tute da ginnastica in cotone

Intelligent Computer Mathematics

A partire da 119,99 $
Avviso di prezzo Prezzo
Avviso di prezzo Prezzo
Prezzo
Resetta i filtri
Prezzo
Resetta i filtri
- image
Intelligent Computer Mathematics

Disponibilità

Springerlink shop int - de
Visa AmericanExpress PayPal

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent …

Prezzo
119,99$
Vedi

Intelligent Computer Mathematics

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.