Personnaliser

OK

Mondial 2026 : 50? offerts* dès 499? d'achat sur les télévisions, vidéoprojecteurs et barres de son avec le code : TV50

En profiter

Computational Logic and Set Theory - Schwartz, Jacob T.

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :
Neuf (2)
Occasion
Reconditionné

71,50 €

Produit Neuf

  • Ou 17,88 € /mois

    • Livraison à 0,01 €
    • Livré entre le 26 mai et le 2 juin
    Voir les modes de livraison

    RiaChristie

    PRO Vendeur favori

    4,9/5 sur + de 1 000 ventes

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

    Nos autres offres

    • 89,94 €

      Produit Neuf

      Ou 22,49 € /mois

      • Livraison : 25,00 €
      • Livré entre le 8 et le 13 juin
      Voir les modes de livraison
      4,8/5 sur + de 1 000 ventes

      Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

    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 Computational Logic And Set Theory Format Broché  - Livre Informatique

        Note : 0 0 avis sur Computational Logic And Set Theory Format Broché  - Livre Informatique

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


        Présentation Computational Logic And Set Theory Format Broché

         - Livre Informatique

        Livre Informatique - Schwartz, Jacob T. - 01/09/2014 - Broché - Langue : Anglais

        . .

      • Auteur(s) : Schwartz, Jacob T. - Cantone, Domenico - Omodeo, Eugenio G.
      • Editeur : Springer-Verlag London Ltd.
      • Langue : Anglais
      • Parution : 01/09/2014
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 436
      • Expédition : 657
      • Dimensions : 23.5 x 15.5 x 2.4
      • ISBN : 1447160185



      • Résumé :
        .

        Sommaire:

        Introduction.- Propositional and Predicate-Calculus Preliminaries.- A Survey of Inference Mechanisms.- More on the Structure of the Verifier System.- A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book.- Undecidability and Unsolvability.

        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
        La sécuritéSatisfait ou remboursé
        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