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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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, Berlin
SKU: 43830086
Price: 73.04 EUR
Availability: InStock
Author: Catherine Dubois
ISBN: 9783031427527

16th International Conference, CICM 2023, Cambridge, UK, September 4-8, 2023, Proceedings

Catherine Dubois

Manfred Kerber

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 43830086

Založba Springer, Berlin, september 2023

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

Koda Libristo: 43830086

177 b

73.04 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Maternidad real ALMA OBREGÓN FERNÁNDEZ

Zvočni CD

18.18 €

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.