Intelligent Computer Mathematics : 14th International Conference, Cicm 2021, Timisoara, Romania, July 26?31, 2021, Proceedings

Kamareddine, Fairouz (EDT); Coen, Claudio Sacerdoti (EDT)

ISBN 10: 3030810968 ISBN 13: 9783030810962

Edit� par Springer, 2021

Neuf(s) Couverture souple

Vendeur GreatBookPrices, Columbia, MD, Etats-Unis �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 6 avril 2009

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

N� de r�f. du vendeur 43226973-n

Signaler cet article

Synopsis :

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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.

* The conference was held virtually due to the COVID-19 pandemic.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Intelligent Computer Mathematics : 14th ...
�diteur : Springer
Date d'�dition : 2021
Reliure : Couverture souple
Etat : New

Meilleurs r�sultats de recherche sur AbeBooks

Image fournie par le vendeur

Intelligent Computer Mathematics

Edit� par Springer, Berlin|Springer International Publishing|Springer, 2021

ISBN 10 : 3030810968 ISBN 13 : 9783030810962

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invit. N� de r�f. du vendeur 479854399

Contacter le vendeur

Acheter neuf

EUR 48,37

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Autres images

Intelligent Computer Mathematics | 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings

Claudio Sacerdoti Coen (u. a.)

Edit� par Springer Nature Switzerland, 2021

ISBN 10 : 3030810968 ISBN 13 : 9783030810962

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 50,10

Frais de port : EUR 70

De Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)

Edit� par Springer, 2021

ISBN 10 : 3030810968 ISBN 13 : 9783030810962

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020030629

Contacter le vendeur

Acheter neuf

EUR 53

Frais de port : EUR 3,45

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Intelligent Computer Mathematics

Claudio Sacerdoti Coen

Edit� par Springer International Publishing, Springer Nature Switzerland Jul 2021, 2021

ISBN 10 : 3030810968 ISBN 13 : 9783030810962

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021\*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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. \* The conference was held virtually due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch. N� de r�f. du vendeur 9783030810962

Contacter le vendeur

Acheter neuf

EUR 53,49

Frais de port : EUR 60

De Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26�31, 2021, Proceedings

Claudio Sacerdoti Coen

Edit� par Springer International Publishing, 2021

ISBN 10 : 3030810968 ISBN 13 : 9783030810962

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021\*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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.\* The conference was held virtually due to the COVID-19 pandemic. N� de r�f. du vendeur 9783030810962

Contacter le vendeur

Acheter neuf

EUR 53,49

Frais de port : EUR 62,09

De Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Intelligent Computer Mathematics

Claudio Sacerdoti Coen

Edit� par Springer International Publishing Jul 2021, 2021

ISBN 10 : 3030810968 ISBN 13 : 9783030810962

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 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021\*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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.\* The conference was held virtually due to the COVID-19 pandemic. 272 pp. Englisch. N� de r�f. du vendeur 9783030810962

Contacter le vendeur