Afbeelding 1 van 1
Logic Program Synthesis from Incomplete Information by Pierre Flener (English) H
Objectstaat:
3 beschikbaar
Prijs:
US $187,64
OngeveerEUR 175,66
- Nu kopenLogic Program Synthesis from Incomplete Information by Pierre Flener (English) H
Verzendkosten:
Bevindt zich in: Fairfield, Ohio, Verenigde Staten
Levering:
Geschatte levering tussen di, 9 jul en vr, 19 jul tot 43230
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 98,3% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:386700035192
Specificaties
- Objectstaat
- 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
Over dit product
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
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
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:386700035192
Verzending en verwerking
Objectlocatie:
Fairfield, Ohio, Verenigde Staten
Wordt verzonden naar:
Afghanistan, Albanië, Algerije, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Azerbeidzjan, Bahama's, Bahrein, Bangladesh, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Britse Maagdeneilanden, Brunei Darussalam, Bulgarije, Burkina Faso, Burundi, Cambodja, Canada, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Comoren, Cookeilanden, Costa Rica, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominica, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Falklandeilanden (Islas Malvinas), Fiji, Filipijnen, Finland, Frankrijk, Gabon, Gambia, Georgië, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guatemala, Guernsey, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Irak, Israël, Italië, Ivoorkust, Jamaica, Japan, Jemen, Jersey, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kazachstan, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Mauritanië, Mauritius, Mayotte, Mexico, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nederlandse Antillen, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Niue, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Paraguay, Peru, Polen, Portugal, Qatar, Republiek Congo, Roemenië, Rwanda, Saint Kitts en Nevis, Saint Lucia, Saint Pierre en Miquelon, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Seychellen, Sierra Leone, Singapore, Sint-Helena, Slovenië, Slowakije, Solomoneilanden, Somalië, Spanje, Spitsbergen en Jan Mayen, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Tuvalu, Uruguay, Vanuatu, Vaticaanstad, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Vietnam, Wallis en Futuna, Wereldwijd, Westelijke Sahara, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland
Uitgesloten:
APO/FPO, Alaska/Hawaï, Amerikaanse protectoraten, Barbados, Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Nieuw-Caledonië, Oekraïne, Panama, Papoea-Nieuw-Guinea, Russische Federatie, Réunion, Venezuela, Westelijk Samoa, Wit-Rusland
| Verzending en verwerking | Elk volgende object | Tot | Service | Levering*Zie opmerkingen over levering |
|---|---|---|---|---|
| Gratis verzending | Gratis | Verenigde Staten | Economy Shipping | Geschatte levering tussen di, 9 jul en vr, 19 jul tot 43230 |
| Verwerkingstijd |
|---|
| Wordt doorgaans binnen 10 werkdagen na ontvangst van betaling verzonden. |
| Belasting |
|---|
| Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.386700035192
Btw voor objectnr.386700035192
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
| Staat | Btw-tarief |
|---|
Retourbeleid
| Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Terugbetaling wordt verstrekt als | Kosten voor retourzending |
|---|---|---|
| 30 dagen | Geld terug | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
| Details retourbeleid |
|---|
| Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (1.025.622)
t***s (390)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
The book is brand new, just as described. Shipping was a bit slow.
j***j (308)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Packed very securely and arrived quickly. Highly recommend this Seller.
j***j (308)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Packed very securely and arrived quickly. Highly recommend this Seller.