Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Intelligent Computer Mathematics

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

Peter Koepke

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 49531041

Nakladnici Springer-Verlag GmbH, listopad 2025

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

Libristo kod: 49531041

324 b

133.99 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Flatfishes - Biology and Exploitation 2e Robin N. Gibson

Tvrdi uvez

250.06 €

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

Meki uvez

32.40 €

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.