Zdjęcie 1 z 1
Zdjęcie 1 z 1
Synteza programu logicznego z niekompletnych informacji autorstwa Pierre'a Flenera (angielski) H–
US $187,40
Około713,11 zł
Stan:
Nowy
Nowa, nieczytana, nieużywana książka w idealnym stanie, wszystkie strony, bez uszkodzeń. Aby poznać więcej szczegółów, zobacz aukcję sprzedającego.
Dostępne: 3
Wysyłka:
Bezpłatnie Economy Shipping.
Znajduje się w: Fairfield, Ohio, Stany Zjednoczone
Dostawa:
Szacowana między Śr, 9 paź a Śr, 16 paź do 43230
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący.
Płatności:
Kupuj bez obaw
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 386700035192
Ostatnia aktualizacja: 22-09-2024 08:24:31 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- ISBN-13
- 9780792395324
- Book Title
- Logic Program Synthesis from Incomplete Information
- ISBN
- 9780792395324
- Subject Area
- Computers
- Publication Name
- Logic Program Synthesis from Incomplete Information
- Publisher
- Springer
- Item Length
- 9.3 in
- Subject
- Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic Design, Compilers
- Publication Year
- 1994
- Series
- The Springer International Series in Engineering and Computer Science Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Weight
- 43 Oz
- Item Width
- 6.1 in
- Number of Pages
- Xviii, 242 Pages
O tym produkcie
Product Identifiers
Publisher
Springer
ISBN-10
0792395328
ISBN-13
9780792395324
eBay Product ID (ePID)
990649
Product Key Features
Number of Pages
Xviii, 242 Pages
Language
English
Publication Name
Logic Program Synthesis from Incomplete Information
Subject
Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic Design, Compilers
Publication Year
1994
Type
Textbook
Subject Area
Computers
Series
The Springer International Series in Engineering and Computer Science Ser.
Format
Hardcover
Dimensions
Item Weight
43 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
94-024267
Dewey Edition
20
Series Volume Number
295
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.1/1
Table Of Content
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.
Synopsis
Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.
LC Classification Number
QA76.76.C65
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Popularne kategorie z tego Sklepu
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (1 032 788)
- 3***3 (4234)- Opinie wystawione przez kupującego.Ostatni miesiącZakup potwierdzonyThanks for a hassle free sale!!
- n***s (615)- Opinie wystawione przez kupującego.Ostatni miesiącZakup potwierdzonyGreat product! Thanks for the addition.
- y***d (40)- Opinie wystawione przez kupującego.Ostatni miesiącZakup potwierdzonyAwesome seller! Fast shipping