Menu
Află starea comenzii
Contactați-ne
Carte Intelligent Computer Mathematics Peter Koepke

Intelligent Computer Mathematics

Autor: Peter Koepke
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag GmbH
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
718.50 lei
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C...

Informații despre carte

Autor
Peter Koepke
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2025
Pagini
455
EAN
9783032070203
ISBN
3032070201
Enbook ID
49531041
Editura
Springer-Verlag GmbH
Greutate
689

Descriere completă

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.

S-ar putea să te intereseze

Flatfishes - Biology and Exploitation 2e

Robin N. Gibson
1 338.92 lei

Burning and Shining Lights or Memoirs of Eminent Ministers of Christ

Robert Steel
173.12 lei

Coloring Geometric Images

Sympsionics Design
52.88 lei