Wysyłka i dostawaKliknij Zobacz szczegóły, aby uzyskać dodatkowe informacje dotyczące wysyłki i zwrotów.
Masz taki przedmiot na sprzedaż?

Synteza programu logicznego z niekompletnych informacji autorstwa Pierre'a Flenera (angielski) H

Tekst oryginalny
Logic Program Synthesis from Incomplete Information by Pierre Flener (English) H
grandeagleretail
  • (927869)
  • Zarejestrowany jako sprzedawca-firma
US $187,40
Około713,11 zł
Stan:
Nowy
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
Szacowane czasy dostaw - otwiera się w nowym oknie lub nowej karcie uwzględniają podany przez sprzedawcę czas na wysłanie przesyłki, kod pocztowy nadawcy, kod pocztowy odbiorcy i czas przyjęcia. Czasy te zależą od wybranego rodzaju usługi wysyłkowej oraz czasu rozliczenia płatnościrozliczona płatność - otwiera się w nowym oknie lub nowej karcie. Czasy dostawy mogą się różnić, szczególnie w okresach największego ruchu.
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący.
Płatności:
    

Kupuj bez obaw

Najlepszy Sprzedawca
Gwarancja zwrotu pieniędzy eBay
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
Nowy: Nowa, nieczytana, nieużywana książka w idealnym stanie, wszystkie strony, bez uszkodzeń. Aby ...
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
Author
Pierre Flener
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
Author
Pierre Flener
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
Pokaż informacje kontaktowe
:liam-Emoc.liaterelgaednarg@yabe
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
grandeagleretail

grandeagleretail

98,3% opinii pozytywnych
Sprzedane przedmioty: 2,7 mln
Dołączył: wrz 2010
Zwykle odpowiada w ciągu 24 godzin
Grand Eagle Retail is your online bookstore. We offer Great books, Great prices and Great service.

Oceny szczegółowe

Średnia z ostatnich 12 miesięcy
Dokładność opisu
4.9
Przystępny koszt wysyłki
5.0
Szybkość wysyłki
4.9
Komunikacja
4.9
Zarejestrowany jako sprzedawca-firma

Opinie sprzedawców (1 032 788)