Personnaliser

OK

Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)

En savoir plus.

Many-Valued Logics 2 - Automated Reasoning And Practical Applications - Leonard Bolc

Note : 0

0 avis
  • Soyez le premier à donner un avis

89,73 €

Produit Neuf

  • Ou 22,43 € /mois

    • Livraison à 0,01 €
    • Livré entre le 22 août et le 7 septembre
    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;ria9783540645078_dbm

    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 Many - Valued Logics 2 - Automated Reasoning And Practical Applications de Leonard Bolc Format Relié  - Livre Mathématiques

        Note : 0 0 avis sur Many - Valued Logics 2 - Automated Reasoning And Practical Applications de Leonard Bolc Format Relié  - Livre Mathématiques

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


        Présentation Many - Valued Logics 2 - Automated Reasoning And Practical Applications de Leonard Bolc Format Relié

         - Livre Mathématiques

        Livre Mathématiques - Leonard Bolc - 01/01/2003 - Relié

        . .

      • Auteur(s) : Leonard Bolc - Piotr Borowik
      • Editeur : Springer Verlag
      • Parution : 01/01/2003
      • Nombre de pages : 303
      • Nombre de livres : 1
      • Expédition : 595
      • Dimensions : 24.00 x 16.00 x 2.20
      • ISBN : 3540645071



      • Résumé :
        Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.

        Sommaire:

        • Basic Notions and Results
        • Gentzen Systems for n-Valued Logical Calculi
        • Multisequent Systems of Takahashi and Rousseau for Finite-Valued Logics
        • The Resolution Principle in n-Valued Logics
        • Minimization Problems in Resolution Proof Systems
        • Resolution in Finite-Valued First-Order Predicate Calculi
        • Overview of Applications
        • Selected Applications of Fuzzy Set Theory
        • Selected Applications of Rough Set Theory

        © Notice établie par DECITRE, libraire

        Détails de conformité du produit

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

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        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