Logic Program Synthesis from Incomplete Information - Flener, Pierre
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre192,12 €
Produit Neuf
Ou 48,03 € /mois
- Livraison à 0,01 €
- Livré entre le 30 avril et le 7 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461359258_dbm
Nos autres offres
-
229,30 €
Produit Neuf
Ou 57,33 € /mois
- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
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.
- 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 Logic Program Synthesis From Incomplete Information Format Broché - Livre Informatique
0 avis sur Logic Program Synthesis From Incomplete Information Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Triumph Of Vulcan: Sculptors' Tools, Porphyry, And The Prince In Ducal Florence
Occasion dès 220,00 €
-
The Feynman Lectures On Physics. The New Millennium Edition
1 avis
Neuf dès 241,85 €
-
Illuminations-2cd-Prix Conseille 24.20 E/Ttc
Occasion dès 160,00 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
David Yarrow
Neuf dès 123,00 €
Occasion dès 192,01 €
-
Play Piano With Diana Krall
Occasion dès 217,99 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 117,78 €
-
Cosaan =: Les Origines (La Civilisation Sereer) (French Edition)
Occasion dès 226,58 €
-
Kham, Vol. 1: The Tar Part Of Kham, Tibet Autonomous Region (The Cultural Monuments Of Tibet's Outer Provinces)
Occasion dès 118,00 €
-
Harmony Hammond: Material Witness
Occasion dès 149,99 €
-
Giorgio Morandi: Gemalde, Aquarelle, Zeichnungen, Radierungen (German Edition)
Occasion dès 144,99 €
-
Diseases Of Poultry
Neuf dès 286,82 €
-
Orthodontic Treatment Of Impacted Teeth
Neuf dès 228,30 €
-
The Princeton Companion To Applied Mathematics
Neuf dès 128,31 €
Occasion dès 139,99 €
-
Enseignement Oral De Platon: Une Nouvelle Interprétation Du Platonisme (French Edition)
1 avis
Occasion dès 149,99 €
-
Mosby's Orthodontic Review
Neuf dès 182,45 €
-
Generative Design - Visualize, Program, And Create With Processing
Occasion dès 135,99 €
-
Maison Martin Margiela : Street Special Edition Volumes 1 & 2
Occasion dès 190,00 €
-
Stone Age - Ancient Castles Of Europe
1 avis
Occasion dès 102,40 €
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
1 avis
Neuf dès 158,90 €
Produits similaires
Présentation Logic Program Synthesis From Incomplete Information Format Broché
- Livre Informatique
Résumé :
Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.
Sommaire:
I State of the Art.- 1 Automatic Programming.- 2 Deductive Inference in Automatic Programming.- 3 Inductive Inference in Automatic Programming.- 4 A Logic Program Development Methodology.- 5 Objectives.- II Building Blocks.- 6 A Specification Approach.- 7 A Framework for Stepwise Logic Algorithm Synthesis.- 8 Algorithm Analysis and Algorithm Schemata.- 9 The Proofs-as-Programs Method.- 10 The Most-Specific-Generalization Method.- III A Logic Algorithm Synthesis Mechanism.- 11 Overview of the Synthesis Mechanism.- 12 The Expansion Phase.- 13 The Reduction Phase.- 14 Conclusion.- Appendix: Conventions, Abbreviations, and Symbols.- References.
Détails de conformité du produit
Personne responsable dans l'UE