LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 DPD courier 3.99 DPD point 2.99

Logic Program Synthesis from Incomplete Information, 1

Language EnglishEnglish
Book Paperback
Book Logic Program Synthesis from Incomplete Information, 1 Pierre Flener
Libristo code: 02016324
Publishers Springer, Berlin, September 2012
Program synthesis is a solution to the software crisis. If we had a program that develops correct pr... Full description
? points 394 b
160.89 VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy


Customers also purchased


PAS A PAS TOME 6 BERTHE / Book Paperback
common.buy 35.59
La Fable des abeilles Bernard de Mandeville / Book Paperback
common.buy 13.99
Mathe.Logo Bayern 9 II/III - neu Schülerband Patricia Weixler / Book Hardback
common.buy 31.59
Deti revolúcie Katarína Ďurčová / Book Paperback
common.buy 12.79

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Drape Drape 2 Hisako Sato / Book Paperback
common.buy 34.39
The Pasta Family Presents: Gravy Girl Goes Galactic! Michael Ciccolini / Book Paperback
common.buy 34.09
Citroen Jacques Seguela / Book Hardback
common.buy 36.79
Serpent & Dove 3-Book Paperback Box Set MAHURIN SHELBY / Book Paperback
common.buy 29.69
The book of root chakra ZAIDA MONTES / Book Book
common.buy 12.49
An African Adventure Patrick Slaney / Book Paperback
common.buy 13.59
"The State of Technological Innovation Related to the Electric Grid" Committee on Energy and Natural Resource / Book Paperback
common.buy 29.39
The Silver Koi: Music Score Jutta J Mahlke M a / Book Paperback
common.buy 24.69
Night Day Keffer / Book Hardback
common.buy 49.29
Will Write for Food J. P. Devine / Book Paperback
common.buy 15.39
To Plough Van Diemen's Land Kev Richardson / Book Paperback
common.buy 18.09
Joanna Perry Sproat / Book Paperback
common.buy 21.59
Mannequin's Diary Anna Dias / Book Paperback
common.buy 8.69
Tanker War Duffy / Book Hardback
common.buy 28.19
Bottom Line or Public Health William H. Wiist / Book Hardback
common.buy 95.09
Market Behaviour and Macroeconomic Modelling Simon Kuipers / Book Paperback
common.buy 181.49

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?