Articles liés à Intelligent Computer Mathematics: 16th International...

Intelligent Computer Mathematics: 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings - Couverture souple

 
9783031427527: Intelligent Computer Mathematics: 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Couverture souple
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Editeur : Springer International Publishing AG, 2023

Synopsis

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.

The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.


Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer International Publishing AG
Date d'édition
2023
Langue
anglais
ISBN 10 
3031427521
ISBN 13 
9783031427527
Reliure
Broché
Numéro d'édition
1
Nombre de pages
324
Éditeur
Dubois Catherine, Kerber Manfred
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Allemagne

Acheter D'occasion

état :  Assez bon
Afficher cet article
9783031427527: Intelligent Computer Mathematics: 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
EUR 55,16

Autre devise

EUR 3,42 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783031427527: Intelligent Computer Mathematics: 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
EUR 80,44

Autre devise

EUR 2,27 expédition vers Etats-Unis

Destinations, frais et délais

Résultats de recherche pour Intelligent Computer Mathematics: 16th International...

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Ancien ou d'occasion paperback

Vendeur : Books From California, Simi Valley, CA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : Very Good. N° de réf. du vendeur mon0003631186

Contacter le vendeur

Acheter D'occasion

EUR 55,16
Autre devise
Frais de port : EUR 3,42
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dubois, Catherine (EDT); Kerber, Manfred (EDT)
Edité par Springer, 2023
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 46642093-n

Contacter le vendeur

Acheter neuf

EUR 80,44
Autre devise
Frais de port : EUR 2,27
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Catherine Dubois
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Neuf Paperback Edition originale

Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics. This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031427527

Contacter le vendeur

Acheter neuf

EUR 82,76
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dubois, Catherine (EDT); Kerber, Manfred (EDT)
Edité par Springer, 2023
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 46642093

Contacter le vendeur

Acheter D'occasion

EUR 84,95
Autre devise
Frais de port : EUR 2,27
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783031427527_new

Contacter le vendeur

Acheter neuf

EUR 76,07
Autre devise
Frais de port : EUR 13,80
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783031427527

Contacter le vendeur

Acheter neuf

EUR 91,04
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Dubois, Catherine (EDT); Kerber, Manfred (EDT)
Edité par Springer, 2023
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 46642093

Contacter le vendeur

Acheter D'occasion

EUR 85,83
Autre devise
Frais de port : EUR 17,27
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Manfred Kerber
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Neuf Taschenbuch
impression à la demande

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions.The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics. 344 pp. Englisch. N° de réf. du vendeur 9783031427527

Contacter le vendeur

Acheter neuf

EUR 80,24
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 344. N° de réf. du vendeur 26398554277

Contacter le vendeur

Acheter neuf

EUR 106,97
Autre devise
Frais de port : EUR 3,42
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

N/A
Edité par Springer, 2023
ISBN 10 : 3031427521 ISBN 13 : 9783031427527
Neuf Couverture souple

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. 2023. Paperback. . . . . . N° de réf. du vendeur V9783031427527

Contacter le vendeur

Acheter neuf

EUR 102,67
Autre devise
Frais de port : EUR 10,50
De Irlande vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

There are 9 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre