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

Intelligent Computer Mathematics

Autor: Peter Koepke
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer-Verlag GmbH
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 970 Kč
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C...

Informace o knize

Autor
Peter Koepke
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2025
Stránek
455
EAN
9783032070203
ISBN
3032070201
Enbook ID
49531041
Vydavatel
Springer-Verlag GmbH
Hmotnost
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 zajímat

Flatfishes - Biology and Exploitation 2e

Robin N. Gibson
5 862 Kč

Burning and Shining Lights or Memoirs of Eminent Ministers of Christ

Robert Steel
724 Kč

Coloring Geometric Images

Sympsionics Design
224 Kč