Logic Program Synthesis from Incomplete Information

1 999,00 kr
+ 85,99 kr Leverans
  • product image

Logic Program Synthesis from Incomplete Information

  • Märke: Unbranded
Säljs av:

Logic Program Synthesis from Incomplete Information

  • Märke: Unbranded

1 999,00 kr

I lager
+ 85,99 kr Leverans

14-dagars returpolicy

Säljs av:

1 999,00 kr

I lager
+ 85,99 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Pierre Flener
  • Format: Paperback
  • Publiceringsdatum: 2012/09/26
  • Sidantal: 242
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 340458697-746833322
  • ISBN: 9781461359258

Leverans och returer

Skickas inom 4 dagar

  • STANDARD: 85,99 kr - Leverans mellan kl tis 27 januari 2026–fre 30 januari 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy