Logic Program Synthesis from Incomplete Information

1.399,00 DKK
+ 52,99 DKK Levering
  • product image

Logic Program Synthesis from Incomplete Information

  • Brand: Unbranded
Sоlgt af:

Logic Program Synthesis from Incomplete Information

  • Brand: Unbranded

1.399,00 DKK

På lager
+ 52,99 DKK Levering

14-dages returpolitik

Sоlgt af:

1.399,00 DKK

På lager
+ 52,99 DKK Levering

14-dages returpolitik

Betalingsmetoder:

Beskrivelse

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
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Springer
  • Udgivelsesdato: 2012/09/26
  • Kunstner: Pierre Flener
  • Sprog: English
  • Antal sider: 242
  • Fruugo ID: 340458697-746833322
  • ISBN: 9781461359258

Levering og returnering

Sendt inden for 4 dage

  • STANDARD: 52,99 DKK - Levering mellem kl man. 26 januar 2026–tor. 29 januar 2026

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik