Logic Program Synthesis from Incomplete Information

189,00 €
+ 4,49 € Envío
  • product image

Logic Program Synthesis from Incomplete Information

  • Marca: Unbranded
Vendido por:

Logic Program Synthesis from Incomplete Information

  • Marca: Unbranded

189,00 €

En existencias
+ 4,49 € Envío

Política de devoluciones de 14 días

Vendido por:

189,00 €

En existencias
+ 4,49 € Envío

Política de devoluciones de 14 días

Métodos de pago:

Descripción

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
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: English
  • Número de páginas: 242
  • Fecha de publicación: 2012/09/26
  • Artista: Pierre Flener
  • Editor / Marca: Springer
  • Formato: Paperback
  • Nº de Fruugo : 340458697-746833322
  • ISBN: 9781461359258

Entrega y devolución

Enviado en un plazo de 4 días

  • STANDARD: 4,49 € - Entrega entre lun 26 enero 2026–jue 29 enero 2026

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa