Logic Program Synthesis from Incomplete Information

189,00 €
+ 5,49 € Livraison
  • product image

Logic Program Synthesis from Incomplete Information

  • Marque: Unbranded
Verkocht door:

Logic Program Synthesis from Incomplete Information

  • Marque: Unbranded

189,00 €

En stock
+ 5,49 € Livraison

Politique de retour sur 14 jours

Verkocht door:

189,00 €

En stock
+ 5,49 € Livraison

Politique de retour sur 14 jours

Modes de paiement:

Description

Logic Program Synthesis from Incomplete Information

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. Language: English
  • Marque: Unbranded
  • Catégorie: Informatique et Internet
  • Nombre de pages: 242
  • Date de publication: 2012/09/26
  • Editeur / Label: Springer
  • Format: Paperback
  • Langue: English
  • Artiste: Pierre Flener
  • Identifiant Fruugo: 340458697-746833322
  • ISBN: 9781461359258

Livraison & retours

Expédition dans un délai de 4 jours

  • STANDARD: 5,49 € - Livraison entre ven. 23 janvier 2026–mer. 28 janvier 2026

Expédition de Royaume-Uni.

Nous mettons tout en œuvre pour que les produits que vous commandez vous soient livrés dans leur intégralité et selon vos indications. Néanmoins, si vous recevez une commande incomplète, des articles différents de ceux commandés ou si, pour toute autre raison, la commande ne vous satisfait pas, vous pouvez retourner la commande ou tout produit inclus dans celle-ci et recevoir un remboursement complet des articles. Voir l'intégralité de la politique de retour