Zurück zur Startseite
|Eingestellt in Kategorie:
|
Auf die Beobachtungsliste

Bild 1 von 1

Logikprogrammsynthese aus unvollständigen Informationen von Pierre Flener (englisch) H - Bild 1 von 1
Ähnlichen Artikel verkaufen?
Selbst verkaufen

Logikprogrammsynthese aus unvollständigen Informationen von Pierre Flener (englisch) H

Artikelzustand:
Neu
3 verfügbar
Preis:
US $187,64
Ca.CHF 167,67
Versand:
Kostenlos Economy Shipping. Weitere Detailsfür Versand
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Di, 9. Jul und Fr, 19. Jul nach 43230 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahmen:
30 Tage Rückgabe. Käufer zahlt Rückversand. Weitere Details- Informationen zu Rückgaben
Zahlungen:
     

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. 
Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet

Angaben zum Verkäufer

Angemeldet als gewerblicher Verkäufer
Artikel melden - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:386700035192
Zuletzt aktualisiert am 19. Mai. 2024 09:17:05 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...
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

Über dieses Produkt

Product Information

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.

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
Publication Year
1994
Subject
Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic Design, Compilers
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
Lc Classification Number
Qa76.76.C65
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.
Copyright Date
1995

Artikelbeschreibung des Verkäufers

grandeagleretail

grandeagleretail

98,3% positive Bewertungen
2.7 Mio. Artikel verkauft
Shop besuchenKontakt
Antwortet meist innerhalb 24 Stunden

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten

Genaue Beschreibung
4.9
Angemessene Versandkosten
5.0
Lieferzeit
4.9
Kommunikation
4.9

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities
Angemeldet als gewerblicher Verkäufer

Verkäuferbewertungen (1'025'638)

1***r (5)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
The package was damaged, but the vinyl inside was in good condition, after all. Great communications and detailed information about shipping to US.
Man-Made Sunshine - Man-Made Sunshine Vinyl (Nr. 386610232219)
-***e (397)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Excellent
Blood on the Snow: Eyewitness Accounts of the Russian Revolution by Elisabeth He (Nr. 386854358887)
t***r (112)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Arrived as described
Set in Stone (Disney: A Twisted Tale #15) by Mari Mancusi Paperback Book (Nr. 364328659992)
Alle Bewertungen ansehen

Noch mehr entdecken: