81,78 €
Produit Neuf
Ou 20,45 € /mois
- Livraison : 3,99 €
- Livré entre le 19 et le 26 septembre
Nos autres offres
-
85,00 €
Produit Neuf
Ou 21,25 € /mois
- Livraison : 25,00 €
- Livré entre le 3 et le 8 octobre
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.
Voir le détail de l'annonce
- 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 !
TROUVER UN MAGASIN
Retour
Avis sur Deduction Systems Format Broché - Livre Informatique
0 avis sur Deduction Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Le Corbusier
2 avis
Occasion dès 59,90 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
Harald Szeemann
Neuf dès 87,99 €
-
Love On The Left Bank
2 avis
Neuf dès 43,77 €
-
The Work Of Hipgnosis -Walk Away Rene
1 avis
Occasion dès 49,95 €
-
Designing Data-Intensive Applications
Occasion dès 43,10 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
The Penguin Book Of American Short Stories
1 avis
Occasion dès 41,61 €
-
I: Functional Analysis
Occasion dès 82,70 €
-
Anglais - Préparer Les Concours, Méthodologie Et Applications
Occasion dès 45,80 €
-
La Version Allemande Systématique
2 avis
Occasion dès 45,80 €
-
The Big Picture - Vocabulaire De L'actualité En Anglais
2 avis
Occasion dès 43,07 €
-
Didactique De L'anglais - Tome 2, La Mise En Oeuvre Pédagogique
Occasion dès 58,88 €
-
Field Guide To The Mammals Of South-East Asia (2nd Edition)
Neuf dès 54,17 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
Produits similaires
Présentation Deduction Systems Format Broché
- Livre Informatique
Sommaire:
1 Introduction.- 2 Mathematical Preliminaries.- 2.1 Sets and Relations.- 2.2 Functions and Countability.- 2.3 Posets and Zorn's Lemma.- 2.4 Trees.- 2.5 Mathematical Induction.- 3 Syntax of First-order Languages.- 3.1 First-order Languages.- 3.2 Induction over Terms and Formulae.- 3.3 Free and Bound Variables.- 3.4 Substitutions.- 4 Semantics of First-order Languages.- 4.1 Structures and Interpretations.- 4.2 The Substitution Lemma.- 5 The Gentzen Calculus G.- 5.1 The Calculus G.- 5.2 Completeness of G.- 6 Normal Forms and Herbrand's Theorem.- 6.1 Normal Forms.- 6.2 Gentzen's Sharpened Hauptsatz.- 6.3 Skolemization and Herbrand's Theorem.- 7 Resolution and Unification.- 7.1 Ground Resolution.- 7.2 Unification.- 7.3 Improving Unification Algorithms.- 7.4 Resolution and Subsumption.- 7.5 Fair Derivation Strategies.- 8 Improving Deduction Efficiency.- 8.1 Delaying Unification.- 8.2 Unit Resolution.- 8.3 Input Resolution.- 8.4 Linear Resolution.- 8.5 Hyperresolution.- 8.6 Semantic Resolution and the Set-of-Support Strategy.- 8.7 Selection and Ordering Concepts.- 8.8 A Notion of Redundancy.- 9 Resolution in Sorted Logic.- 9.1 Introduction.- 9.2 Syntax and Semantics of Elementary Sorted Logic.- 9.3 Relativization.- 9.4 Sorted Logic with Term Declarations.- 9.5 Unification and Resolution in Sorted Signatures.- 9.6 Complexity of Sorted Unification.- References.
Détails de conformité du produit
Personne responsable dans l'UE