Menu
Виж статуса на поръчката
Свържете се с нас
Книга Intelligent Computer Mathematics Peter Koepke

Intelligent Computer Mathematics

Автор: Peter Koepke
Език: Английски език
Корици: С меки корици
Издател: Springer-Verlag GmbH
Наличност: Външен склад
Изпращаме след 5-8 дни
136.98 € 267.91 лв
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C...

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

Автор
Peter Koepke
Език
Английски език
Корици
Книга - С меки корици
Издадена
2025
страници
455
EAN
9783032070203
ISBN
3032070201
Enbook ID
49531041
Издател
Springer-Verlag GmbH
Теглоt
689

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

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6 11, 2025.

The 24 full papers were presented in this volume were carefully reviewed and selected from 34  submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.

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

Flatfishes - Biology and Exploitation 2e

Robin N. Gibson
267.83 € 523.83 лв

Burning and Shining Lights or Memoirs of Eminent Ministers of Christ

Robert Steel
31.44 € 61.49 лв

Coloring Geometric Images

Sympsionics Design
10.09 € 19.74 лв