{"product_id":"9780792395324","title":"The Springer International Series in Engineering and Computer Science","description":"\u003ch1\u003eThe Springer International Series in Engineering and Computer Science\u003c\/h1\u003e \u003ch2\u003eFlener, Pierre\u003c\/h2\u003e \u003cp\u003eProgram 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. \u003cbr\u003e  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. \u003cbr\u003e  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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1994-12-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792395324\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-2205-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 242\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578381230220,"sku":"9780792395324","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792395324.jpg?v=1771510929","url":"https:\/\/lateknightbooks.com\/products\/9780792395324","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}