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 The Resolution Calculus de Alexander Leitsch Format Broché - Livre Littérature Générale

Note : 0 0 avis sur The Resolution Calculus de Alexander Leitsch Format Broché - Livre Littérature Générale

Donnez votre avis

Donnez votre avis sur ce produit

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 The Resolution Calculus de Alexander Leitsch Format Broché
- Livre Littérature Générale

Livre Littérature Générale - Alexander Leitsch - 01/09/2011 - Broché - Langue : Anglais

Auteur(s) : Alexander Leitsch

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/09/2011

Format : Moyen, de 350g à 1kg

Nombre de pages : 316

Expédition : 482

Dimensions : 23.5 x 15.5 x 1.8

ISBN : 9783642644733

Sommaire:
The Basis of the Resolution Calculus.- First-Order Logic.- Transformation to Clause Form.- Term Models and Herbrand's Theorem.- Decision Methods for Sets of Ground Clauses.- The Propositional Resolution Principle.- Substitution and Unification.- The General Resolution Principle.- A Comparison of Different Resolution Concepts.- 3. Refinements of Resolution.- A Formal Concept of Refinement.- Normalization of Clauses.- Refinements Based on Atom Orderings.- Lock Resolution.- Linear Refinements.- Hyperresolution.- Refinements: A Short Overview.- 4. Redundancy and Deletion.- The Problem of Proof Search.- The Subsumption Principle.- Subsumption Algorithms.- The Elimination of Tautologies.- Clause Implication.- 5. Resolution as Decision Procedure.- The Decision Problem.- A-Ordering Refinements as Decision Procedures.- Hyperresolution as Decision Procedure.- Hyperresolution and Automated Model Building.- 6. On the Complexity of Resolution.- Herbrand Complexity and Proof Length.- Extension and the Use of Lemmas.- Structural Normalization.- Functional Extension.

Détails de conformité du produit

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

Personne responsable dans l'UE

)

The Resolution Calculus - Alexander Leitsch

Avis sur The Resolution Calculus de Alexander Leitsch Format Broché - Livre Littérature Générale

Présentation The Resolution Calculus de Alexander Leitsch Format Broché - Livre Littérature Générale

Présentation The Resolution Calculus de Alexander Leitsch Format Broché
- Livre Littérature Générale