Personnaliser

OK

Durée limitée Jardin et Bricolage : 10€, 20€ ou 100€ offerts* dès 69€, 149€ ou 999€ d'achat !

En profiter

Intelligent Computer Mathematics -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :

82,03 €

Produit Neuf

  • Ou 20,51 € /mois

    • Livraison : 3,99 €
    • Livré entre le 25 et le 31 juillet
    Voir les modes de livraison

    M_plus_L

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Nos autres offres

    • 89,73 €

      Produit Neuf

      Ou 22,43 € /mois

      • Livraison à 0,01 €
      • Livré entre le 27 juillet et le 8 août
      Voir les modes de livraison

      Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030810962_dbm

      Voir le détail de l'annonce 
    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    Retour

    Horaires

        Note :


        Avis sur Intelligent Computer Mathematics Format Broché  - Livre Science humaines et sociales, Lettres

        Note : 0 0 avis sur Intelligent Computer Mathematics Format Broché  - Livre Science humaines et sociales, Lettres

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Présentation Intelligent Computer Mathematics Format Broché

         - Livre Science humaines et sociales, Lettres

        Livre Science humaines et sociales, Lettres - 01/07/2021 - Broché - Langue : Anglais

        . .

      • Editeur : Springer International Publishing Ag
      • Langue : Anglais
      • Parution : 01/07/2021
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 272
      • Expédition : 417
      • Dimensions : 23.5 x 15.5 x 1.5
      • ISBN : 9783030810962



      • Résumé :
        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.

        Sommaire:
        Formalizations.- Automatic Theorem Proving and Machine Learning.- Search and Classification.- Teaching and Geometric Reasoning.- Logic and Systems.- Abstracts of Invited Speakers.

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Minimum5% remboursés
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com