Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings - Couverture souple

9783032070203: Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings

Couverture souple

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Editeur : Springer, 2025

Afficher les exemplaires de cette �dition comportant l'ISBN

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2025
Langue: anglais
ISBN 10: 3032070201
ISBN 13: 9783032070203
Reliure: Broch�
Nombre de pages: 496
�diteur: De Paiva Valeria, Koepke Peter
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

R�sultats de recherche pour Intelligent Computer Mathematics: 18th International...

Image d'archives

Intelligent Computer Mathematics (eng)

de Paiva, Valeria

Edit� par Springer, 2025

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 5 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur UDHYVJDEMP

Contacter le vendeur

Acheter neuf

EUR 110,26

Exp�dition �EUR 8
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Intelligent Computer Mathematics (Paperback)

Valeria de Paiva

Edit� par Springer Nature Switzerland AG, Cham, 2025

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 611, 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. This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 611, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783032070203

Contacter le vendeur

Acheter neuf

EUR 141,92

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Intelligent Computer Mathematics: 18th International Conference, Cicm 2025, Brasilia, Brazil, October 611, 2025, Proceedings

De Paiva, Valeria (Editor)/ Koepke, Peter (Editor)

Edit� par Springer-Nature New York Inc, 2025

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Neuf Paperback

impression � la demande

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 493 pages. 9.25x6.10x1.06 inches. In Stock. This item is printed on demand. N� de r�f. du vendeur __3032070201

Contacter le vendeur

Acheter neuf

EUR 132,67

Exp�dition �EUR 14,64
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Intelligent Computer Mathematics

Valeria De Paiva

Edit� par Springer-Verlag Gmbh Okt 2025, 2025

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 470 pp. Englisch. N� de r�f. du vendeur 9783032070203

Contacter le vendeur

Acheter neuf

EUR 139,09

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Intelligent Computer Mathematics (Paperback)

Valeria de Paiva

Edit� par Springer Nature Switzerland AG, Cham, 2025

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Neuf Paperback

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 611, 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. This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 611, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9783032070203

Contacter le vendeur

Acheter neuf

EUR 119,40

Exp�dition �EUR 43,33
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Intelligent Computer Mathematics

Edit� par Springer Verlag GmbH, 2025

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N� de r�f. du vendeur 2589868573

Contacter le vendeur

Acheter neuf

EUR 118,61

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Intelligent Computer Mathematics : 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings

Peter Koepke

Edit� par Palgrave Macmillan, 2025

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Neuf Taschenbuch

impression � la demande

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9783032070203

Contacter le vendeur

Acheter neuf

EUR 151,88

Exp�dition �EUR 35
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Intelligent Computer Mathematics

Valeria De Paiva

Edit� par Springer, Springer International Publishing Okt 2025, 2025

ISBN 10 : 3032070201 ISBN 13 : 9783032070203

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 611, 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 496 pp. Englisch. N� de r�f. du vendeur 9783032070203

Contacter le vendeur