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 39,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 14th International Conference on Intelligent …

Prezzo
39,99$
Vedi

Intelligent Computer Mathematics

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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. * The conference was held virtually due to the COVID-19 pandemic.