Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer
SKU: 41014460
Price: 54.51 EUR
Availability: InStock
Author: Fairouz Kamareddine
ISBN: 9783030810979

14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings

Fairouz Kamareddine

Claudio Sacerdoti Coen

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Koda Libristo: 41014460

Založba Springer, julij 2021

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

Koda Libristo: 41014460

132 b

54.51 €

Na zalogi Prenesi zdaj

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.