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 :

83,18 €

Produit Neuf

  • Ou 20,80 € /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;ria9783030535179_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 Informatique

        Note : 0 0 avis sur Intelligent Computer Mathematics Format Broché  - Livre Informatique

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


        Présentation Intelligent Computer Mathematics Format Broché

         - Livre Informatique

        Livre Informatique - 01/07/2020 - Broché - Langue : Anglais

        . .

      • Editeur : Springer International Publishing Ag
      • Langue : Anglais
      • Parution : 01/07/2020
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 352
      • Expédition : 534
      • Dimensions : 23.5 x 15.5 x 2.0
      • ISBN : 9783030535179



      • Résumé :
        This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic.

        Sommaire:

        Invited Talks.- Full Papers.- System Descriptions and Datasets.- Abstracts of Invited Talks.

        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