Logic Program Synthesis from Incomplete Information

949,00 RON
+ 23,99 RON Livrare
  • product image

Logic Program Synthesis from Incomplete Information

  • Marcă: Unbranded
Vândut de:

Logic Program Synthesis from Incomplete Information

  • Marcă: Unbranded

949,00 RON

În stoc
+ 23,99 RON Livrare

Politica de retur pe 14 zile

Vândut de:

949,00 RON

În stoc
+ 23,99 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

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
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Pierre Flener
  • Limbă: English
  • Număr de pagini: 242
  • Format: Paperback
  • Data publicării: 2012/09/26
  • Editor / Etichetă: Springer
  • ID Fruugo: 340458697-746833322
  • ISBN: 9781461359258

Livrări şi Returnări

Expediat în 4 zile

  • STANDARD: 23,99 RON - Livrare între lun. 26 ianuarie 2026–joi 29 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare