Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer-Verlag GmbH
SKU: 49531041
Price: 566.57 PLN
Availability: InStock
Author: Peter Koepke
ISBN: 9783032070203

Peter Koepke

Język

Angielski

Książka Miękka

Kod Libristo: 49531041

Wydawnictwo Springer-Verlag GmbH, październik 2025

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C... Cały opis

Kod Libristo: 49531041

324 b

566.57 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Flatfishes - Biology and Exploitation 2e Robin N. Gibson

Twarda

1 112.70 zł

Burning and Shining Lights or Memoirs of Eminent Ministers of Christ Robert Steel

Miękka

137.17 zł

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.