Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Intelligent Computer Mathematics

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

Peter Koepke

Língua

Inglês

Livro Capa mole

Código Libristo: 49531041

Editoras Springer-Verlag GmbH, outubro 2025

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C... Descrição completa

Código Libristo: 49531041

289 b

119.40 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Também pode estar interessado em

Flatfishes - Biology and Exploitation 2e Robin N. Gibson

Livro de capa dura

224.03 €

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

Capa mole

27.74 €

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.