Retourner à la page d'accueil
|
Suivre cet objet
Envoi et livraisonCliquez sur Afficher les détails pour obtenir des informations supplémentaires sur la livraison et les retours.

Photo 1/1

Photo 1/1
Vous en avez un à vendre ?
Vendez le vôtre

Synthèse de programme logique à partir d'informations incomplètes par Pierre Flener (anglais) H

grandeagleretail
  • (927869)
  • Inscrit comme vendeur professionnel
187,40 USD
Environ168,06 EUR
État :
Neuf
3 disponibles
Livraison :
Gratuit Economy Shipping.
Lieu où se trouve l'objet : Fairfield, Ohio, États-Unis
Délai de livraison :
Estimé entre le mer. 9 oct. et le mer. 16 oct. à 43230
Les dates de livraison estimées - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiementréception du paiement - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.
Retours :
Retour sous 30 jours. L'acheteur paie les frais de retour.
Paiements :
    

Achetez en toute confiance

Vendeur Top Fiabilité
Vendeur de confiance, livraison rapide et retours facilités. En savoir plus- Top Fiabilité Plus - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet
Garantie client eBay
Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé. En savoir plusGarantie client eBay - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet
Signaler cet objet - La page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :386700035192
Dernière mise à jour le 22 sept. 2024 08:24:31 CEST. Afficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État
Neuf: Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni ...
ISBN-13
9780792395324
Book Title
Logic Program Synthesis from Incomplete Information
ISBN
9780792395324
Subject Area
Computers
Publication Name
Logic Program Synthesis from Incomplete Information
Publisher
Springer
Item Length
9.3 in
Subject
Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic Design, Compilers
Publication Year
1994
Series
The Springer International Series in Engineering and Computer Science Ser.
Type
Textbook
Format
Hardcover
Language
English
Author
Pierre Flener
Item Weight
43 Oz
Item Width
6.1 in
Number of Pages
Xviii, 242 Pages

À propos de ce produit

Product Identifiers

Publisher
Springer
ISBN-10
0792395328
ISBN-13
9780792395324
eBay Product ID (ePID)
990649

Product Key Features

Number of Pages
Xviii, 242 Pages
Language
English
Publication Name
Logic Program Synthesis from Incomplete Information
Subject
Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic Design, Compilers
Publication Year
1994
Type
Textbook
Subject Area
Computers
Author
Pierre Flener
Series
The Springer International Series in Engineering and Computer Science Ser.
Format
Hardcover

Dimensions

Item Weight
43 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
94-024267
Dewey Edition
20
Series Volume Number
295
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.1/1
Table Of Content
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.
Synopsis
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.
LC Classification Number
QA76.76.C65

Description de l'objet fournie par le vendeur

Informations sur le vendeur professionnel

Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Afficher les coordonnées
: liam-e esserdAmoc.liaterelgaednarg@yabe
Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.
grandeagleretail

grandeagleretail

98,3% d'évaluations positives
2,7 millions objets vendus
Visiter la BoutiqueContacter
Membre depuis sept. 2010
Répond en général sous 24 heures
Grand Eagle Retail is your online bookstore. We offer Great books, Great prices and Great service.

Évaluations détaillées du vendeur

Moyenne pour les 12 derniers mois
Description exacte
4.9
Frais de livraison raisonnables
5.0
Livraison rapide
4.9
Communication
4.9

Catégories populaires de cette Boutique

Tout affichercatégories
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities
Inscrit comme vendeur professionnel

Évaluations en tant que vendeur (1.032.788)

Afficher toutes les évaluations