Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Intelligent Computer Mathematics

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

Peter Koepke

Lingua

Inglese

Libro In brossura

Codice Libristo: 49531041

Casa editrice Springer-Verlag GmbH, ottobre 2025

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C... Descrizione completa

Codice Libristo: 49531041

341 b

139.39 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

Potrebbe interessarti anche

Flatfishes - Biology and Exploitation 2e Robin N. Gibson

Rigido

259.79 €

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

In brossura

33.59 €

Coloring Geometric Images Sympsionics Design

In brossura

10.29 €

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.