{"product_id":"9783540606413","title":"Lecture Notes in Computer Science","description":"\u003ch1\u003eLecture Notes in Computer Science\u003c\/h1\u003e \u003ch2\u003eNayak, P. Pandurang\u003c\/h2\u003e \u003cp\u003eThis book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions.\u003cbr\u003eThis monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical sides are presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for building systems that automatically construct adequate models is provided, and implementational aspects and tests are described.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1995-12-13\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540606413\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-60641-6\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 238\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45372714352780,"sku":"9783540606413","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540606413.jpg?v=1773970474","url":"https:\/\/lateknightbooks.com\/products\/9783540606413","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}