{"product_id":"from-logic-design-to-logic-programming-theorem-proving-techniques-and-p-functions-9783540182177","title":"From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions","description":"\u003cp\u003e • Author(s): Dominique Snyers | Andre Thayse\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eThis work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46893964230807,"sku":"9783540182177","price":5626.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540182177.webp?v=1770320321","url":"https:\/\/atlanticbooks.com\/products\/from-logic-design-to-logic-programming-theorem-proving-techniques-and-p-functions-9783540182177","provider":"Atlantic Books","version":"1.0","type":"link"}