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.

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

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Deduction Systems Format Broché - Livre Informatique

Note : 0 0 avis sur Deduction Systems Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

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

Produits similaires

Présentation Deduction Systems Format Broché
- Livre Informatique

Livre Informatique - Johann, Patricia - 01/09/2011 - Broché - Langue : Anglais

Auteur(s) : Johann, Patricia - Socher-Ambrosius, Rolf

Editeur : Springer Us, New York, N.Y.

Langue : Anglais

Parution : 01/09/2011

Format : Moyen, de 350g à 1kg

Nombre de pages : 224

Expédition : 395

Dimensions : 24.4 x 17.0 x 1.3

ISBN : 9781461274797

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

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

Personne responsable dans l'UE

)

Deduction Systems - Johann, Patricia

Avis sur Deduction Systems Format Broché - Livre Informatique

Présentation Deduction Systems Format Broché - Livre Informatique

Présentation Deduction Systems Format Broché
- Livre Informatique