Logic Program Synthesis from Incomplete Information

$299.00
+ $13.99 Shipping

Logic Program Synthesis from Incomplete Information

  • Brand: Unbranded
  • product image
Logic Program Synthesis from Incomplete Information

Logic Program Synthesis from Incomplete Information

  • Brand: Unbranded
Price: $299.00
Sold by:
$299.00
+ $13.99 Shipping

In stock

14-Day Returns Policy

Payment methods:

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
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: Pierre Flener
  • Format: Paperback
  • Language: English
  • Publication Date: 2012/09/26
  • Publisher / Label: Springer
  • Number of Pages: 242
  • Fruugo ID: 340458697-746833322
  • ISBN: 9781461359258

Delivery & Returns

Dispatched within 4 days

  • STANDARD: $13.99 - Delivery between Thu. 29 January 2026–Wed. 04 February 2026

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy