Personnaliser

OK
Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group
ClubR
Euro

Mettre en vente

Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group

Computational Logic and Proof Theory -

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é

36,33 €

Produit Neuf

  • Ou 9,08 € /mois

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

    ORIG1

    PRO Vendeur favori

    4,5/5 sur 221 ventes

    Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours

    Nos autres offres

    • 88,35 €

      Produit Neuf

      Ou 22,09 € /mois

      • Livraison : 25,00 €
      • Livré entre le 8 et le 13 août
      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 Proof Theory de Collectif Format Broché  - Livre

        Note : 0 0 avis sur Computational Logic And Proof Theory de Collectif Format Broché  - Livre

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


        Présentation Computational Logic And Proof Theory de Collectif Format Broché

         - Livre

        Livre - Collectif - 01/08/1993 - Broché - Langue : Anglais

        Auteur(s) : CollectifEditeur : Springer-Verlag GmbhLangue : AnglaisParution : 01/08/1993Nombre de pages : 372Expédition : 499Dimensions : 23.5 x 15.5 x 1.9 Résumé :The...

      • Auteur(s) : Collectif
      • Editeur : Springer-Verlag Gmbh
      • Langue : Anglais
      • Parution : 01/08/1993
      • Nombre de pages : 372
      • Expédition : 499
      • Dimensions : 23.5 x 15.5 x 1.9
      • Résumé :
        The Third Kurt G

        Sommaire:
        The mathematics of set predicates in Prolog.- Some connections between set theory and computer science.- G?del's Dialectica interpretation and its two-way stretch.- Epistemic entrenchment and arithmetical hierarchy (abstract).- A critical reexamination of default logic, autoepistemic logic, and only knowing.- Complexity issues in nonmonotonic logic and logic programming (abstract).- Strategies for resolution method in non-classical logics (Abstract).- Undecidability of implication problems in logic programming, database theory and classical logic.- Building up a tool-box for Martin-L?f's type theory (abstract).- The logic of the G?del proof predicate.- Superposition with simplification as a decision procedure for the monadic class with equality.- Computation with access to the reals, but using only classical machines.- The even more liberalized ?-rule in free variable Semantic Tableaux.- Differentiating assumptions from extra-logical axioms in natural deduction.- The inverse of fitting's functional.- On loop detection in connection calculi.- On Arnol'd's Hilbert symposium problems.- The structure of exponentials: Uncovering the dynamics of linear logic proofs.- On different concepts of function introduction.- Double exponential inseparability of Robinson subsystem Q+ from the unsatisfiable sentences in the language of addition.- On the meaning of essentially unprovable theorems in the presburger theory of addition.- A syntactic consistency proof for NaDSet.- A rule-based algorithm for rigid E-unification.- A scheme for weakened negative introspection in autoepistemic reasoning.- On the weakness of sharply bounded polynomial induction.- On the logic of hypergraphs.- Recursion theoretic properties of frequency computation and bounded queries (extended abstract).-Interpreting true arithmetic in degree structures.- Classical proofs as programs.- Completeness of the pool calculus with an open built-in theory.- On the saturation principle for a linear temporal logic.- A construction of typed lambda models related to feasible computability.- Nonmonotonic reasoning is sometimes simpler.- Self-verifying axiom systems.- Committed-choice concurrent logic programming in linear logic.

        Détails de conformité du produit

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

        Personne responsable dans l'UE

        )
        Neuf et occasion
        Le choixNeuf et occasion
        5% remboursés
        Minimum5% remboursés
        Satisfait ou remboursé
        La sécuritéSatisfait ou remboursé
        À votre écoute
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        RakutenLogos.svg
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com