Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic Program Synthesis from Incomplete Information

Name: Logic Program Synthesis from Incomplete Information
Brand: Springer, Berlin
SKU: 01398297
Price: 64051 HUF
Availability: InStock
Author: Pierre Flener
ISBN: 9780792395324

Pierre Flener

Language

English

Book Hardback

Libristo code: 01398297

Publishers Springer, Berlin, November 1994

Program synthesis is a solution to the software crisis. If we had a program that develops correct pr... Full description

Libristo code: 01398297

437 b

64 051 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

SOA? Dieter Masak

Hardback

14 511 Ft

Nachfolge im Öffentlichen Recht. Johannes Dietlein

Hardback

41 363 Ft

Schloss Neuhaus bei Paderborn Norbert Börste

Paperback

3 609 Ft

Ho camminato con le stelle. Santiago de Compostela. Mille chilometri a piedi da Lourdes a Muxia Pino Dellasega

Hardback

8 218 Ft

Pinochet y política exterior Elizabeth Abigail Sampson

Paperback

12 471 Ft

Halbtier Helene Bohlau

Paperback

6 617 Ft

EL GRAN DESCUBRIMIENTO ULF

Paperback

6 793 Ft

?Dónde está Emiliano Fuentes? + CD Elvira Sancho

Paperback

4 826 Ft

Türk Ordusunun Kuzey Irak Operasyonlari Ümit Özdag

Paperback

10 037 Ft

Spodky Grázlika Gaba Francesca Simon

Paperback

2 129 Ft

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.