Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295) - hardcover
1994, ISBN: 9780792395324
Springer, Hardcover, Auflage: 1995, 260 Seiten, Publiziert: 1994-12-31T00:00:01Z, Produktgruppe: Book, 1.22 kg, Books Global Store, Special Features, Books, AI & Machine Learning, Compute… More...
amazon.co.uk Smaller World Future Shipping costs:Usually dispatched within 3 to 4 days. Real shipping costs can differ from the ones shown here. (EUR 5.62) Details... |
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295) - hardcover
1994, ISBN: 9780792395324
Kluwer Academic Publishers, Hardcover, Auflage: 1995, 264 Seiten, Publiziert: 1994T, Produktgruppe: Book, 1.22 kg, Object-Oriented Design, Software Design, Testing & Engineering, Programm… More...
amazon.com Shipping costs:Real shipping costs can differ from the ones shown here. (EUR 3.67) Details... |
ISBN: 9780792395324
Logic Program Synthesis from Incomplete Information ab 208.49 € als gebundene Ausgabe: Auflage 1995. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Medien > Bücher nein Buch (geb… More...
Hugendubel.de Shipping costs:Shipping in 5 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Logic Program Synthesis From Incomplete Information (International Series in Engineering and Computer Science) - hardcover
1994, ISBN: 9780792395324
Print on Demand (Hardcover), Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!, Used, good, [PU: Kluwer Academic Publishers]
alibris.com |
ISBN: 0792395328
Logic Program Synthesis from Incomplete Information ab 208.49 € als gebundene Ausgabe: Auflage 1995. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Medien > Bücher nein Buch (geb… More...
Hugendubel.de Shipping costs:Shipping in 5 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295) - hardcover
1994, ISBN: 9780792395324
Springer, Hardcover, Auflage: 1995, 260 Seiten, Publiziert: 1994-12-31T00:00:01Z, Produktgruppe: Book, 1.22 kg, Books Global Store, Special Features, Books, AI & Machine Learning, Compute… More...
Pierre Flener:
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295) - hardcover1994, ISBN: 9780792395324
Kluwer Academic Publishers, Hardcover, Auflage: 1995, 264 Seiten, Publiziert: 1994T, Produktgruppe: Book, 1.22 kg, Object-Oriented Design, Software Design, Testing & Engineering, Programm… More...
ISBN: 9780792395324
Logic Program Synthesis from Incomplete Information ab 208.49 € als gebundene Ausgabe: Auflage 1995. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Medien > Bücher nein Buch (geb… More...
Logic Program Synthesis From Incomplete Information (International Series in Engineering and Computer Science) - hardcover
1994, ISBN: 9780792395324
Print on Demand (Hardcover), Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!, Used, good, [PU: Kluwer Academic Publishers]
ISBN: 0792395328
Logic Program Synthesis from Incomplete Information ab 208.49 € als gebundene Ausgabe: Auflage 1995. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Medien > Bücher nein Buch (geb… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295)
EAN (ISBN-13): 9780792395324
ISBN (ISBN-10): 0792395328
Hardcover
Paperback
Publishing year: 1994
Publisher: Kluwer Academic Publishers
268 Pages
Weight: 0,567 kg
Language: eng/Englisch
Book in our database since 2007-11-27T03:54:37-05:00 (New York)
Detail page last modified on 2023-06-24T16:09:31-04:00 (New York)
ISBN/EAN: 0792395328
ISBN - alternate spelling:
0-7923-9532-8, 978-0-7923-9532-4
Alternate spelling and related search-keywords:
Book title: logic program synthesis from incomplete information, logic computer science, logic inc, international engineering, springer series, the program
Information from Publisher
Author: Pierre Flener
Title: The Springer International Series in Engineering and Computer Science; Logic Program Synthesis from Incomplete Information
Publisher: Springer; Springer US
242 Pages
Publishing year: 1994-12-31
New York; NY; US
Language: English
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XVIII, 242 p.
BB; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; algorithms; artificial intelligence; development; intelligence; learning; logic programming; machine learning; programming; software; software engineering; validation; Compilers and Interpreters; Software Engineering; Artificial Intelligence; Software Engineering; Künstliche Intelligenz; BC
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.More/other books that might be very similar to this book
Latest similar book:
9781461522058 Logic Program Synthesis from Incomplete Information (Pierre Flener)
< to archive...