Price Ninja
Animali e Forniture per Animali
Migliori Marche Royal Canin cane
Migliori Prodotti cibo secco per cani
Migliori Ricerche miglior cibo per cuccioli
Migliori Ricerche accessori interni per gatti
Migliori Prodotti mangime per pappagalli
Migliori Ricerche semi per canarini
Migliori Prodotti filtri per acquario
Migliori Ricerche pesci tropicali
Abbigliamento e Accessori
Migliori Prodotti abiti in cotone leggeri
Migliori Prodotti sneakers bianche
Migliori Ricerche scarpe comode per camminare
Migliori Marche Gucci occhiali da sole
Migliori Prodotti borse in pelle
Migliori Ricerche cinture in pelle eleganti
Migliori Prodotti completi notte in seta
Migliori Ricerche intimo comodo per uomo
Elettronica
Migliori Marche iPhone 14 Pro
Migliori Prodotti laptop per gaming
Migliori Ricerche auricolari wireless qualità
Salute e Bellezza
Migliori Prodotti fondotinta coprente
Migliori Prodotti integratori per energia

Intelligent Computer Mathematics

A partire da 64,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 16th International Conference on Intelligent …

Prezzo
64,99$
Vedi

Intelligent Computer Mathematics

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.