Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer Nature Switzerland AG
SKU: 9783030810962
Price: 277.38 RON
Availability: InStock

Autor: Fairouz Kamareddine

Limbă:

Legare: Carte broșată

Editura: Springer Nature Switzerland AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent C...

Informații despre carte

Autor

Fairouz Kamareddine

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2021

Pagini

249

EAN

9783030810962

ISBN

3030810968

Enbook ID

36638092

Editura

Springer Nature Switzerland AG

Greutate

421

Dimensiuni

155 x 235 x 15

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Intelligent Computer Mathematics

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și