Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer Nature Switzerland AG
SKU: 9783030810962
Price: 52.78 EUR
Availability: InStock

Автор: Fairouz Kamareddine

Език:

Корици: С меки корици

Издател: Springer Nature Switzerland AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.78 € 103.24 лв

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

Информация за книгата

Автор

Fairouz Kamareddine

Език

Английски език

Корици

Книга - С меки корици

Издадена

2021

страници

249

EAN

9783030810962

ISBN

3030810968

Enbook ID

36638092

Издател

Springer Nature Switzerland AG

Теглоt

421

Размери

155 x 235 x 15

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Intelligent Computer Mathematics

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също