Deduction Systems - Johann, Patricia
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre81,78 €
Produit Neuf
Ou 20,45 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 28 juillet
Nos autres offres
-
88,39 €
Produit Neuf
Ou 22,10 € /mois
- Livraison à 0,01 €
- Livré entre le 22 juillet et le 4 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461274797_dbm
Voir le détail de l'annonce -
85,00 €
Produit Neuf
Ou 21,25 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 août
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.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Gilbert Portanier
Neuf dès 81,26 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Culinaria France
Occasion dès 57,00 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Medieval Military Technology, Second Edition
Neuf dès 75,96 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Kodak Pixpro Fz55-Bk : (Japanese Edition)
Neuf dès 45,99 €
-
Museum Of The Revolution
Occasion dès 45,99 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Occasion dès 42,48 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
Adventures Of Byomkesh Bakshi
Neuf dès 41,91 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Perfectionnement Allemand (5 Cd Audio)
1 avis
Occasion dès 47,90 €
-
Il Cavaliere Inesistente
Occasion dès 43,82 €
-
So Hilft Ihnen Die Blutegeltherapie
Neuf dès 71,94 €
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