Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer Nature Switzerland AG
SKU: 9783030810962
Price: 19305 HUF
Availability: InStock

Szerző: Fairouz Kamareddine

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer Nature Switzerland AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

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

Információk a könyvről

Szerző

Fairouz Kamareddine

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2021

oldal

249

EAN

9783030810962

ISBN

3030810968

Enbook ID

36638092

Kiadó

Springer Nature Switzerland AG

Súly

421

Méretek

155 x 235 x 15

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Intelligent Computer Mathematics

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták