Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Intelligent Computer Mathematics Peter Koepke

Intelligent Computer Mathematics

Autor: Peter Koepke
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag GmbH
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
129.97 €
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C...

Informácie o knihe

Autor
Peter Koepke
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2025
Stránok
455
EAN
9783032070203
ISBN
3032070201
Enbook ID
49531041
Vydavateľ
Springer-Verlag GmbH
Hmotnosť
689

Kompletný popis

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.

Mohlo by vás zaujímať

Flatfishes - Biology and Exploitation 2e

Robin N. Gibson
242.56 €

Burning and Shining Lights or Memoirs of Eminent Ministers of Christ

Robert Steel
29.95 €