{"product_id":"from-logic-design-to-logic-programming-theorem-proving-techniques-and-p-functions-von-dominique-snyers-andre-thayse","title":"From Logic Design to Logic Programming","description":"\u003cp\u003eContents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540182177\"\u003e\u003ch3\u003eTheorem Proving Techniques and P-Functions\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540182177","offer_id":39432645115997,"sku":"9783540182177","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/220283e2-cb2a-4f01-a7bf-20adb9de35b5.jpg?v=1773554209","url":"https:\/\/shop.autorenwelt.de\/products\/from-logic-design-to-logic-programming-theorem-proving-techniques-and-p-functions-von-dominique-snyers-andre-thayse","provider":"Autorenwelt Shop","version":"1.0","type":"link"}