{"product_id":"logic-programming-cambridge-university-press-9780521607544-operational-semantics-and-proof-theory-james-h-andrews","title":"Logic Programming","description":"\u003cp\u003eDiscover the foundational concepts of logic programming with \u003cstrong\u003eLogic Programming\u003c\/strong\u003e by James H. Andrews, published by Cambridge University Press in 2004. This insightful book spans 120 pages and offers a comprehensive exploration of the semantics of both theoretical and practical logic programming languages. It serves as an essential resource for researchers and practitioners alike, delving into critical ideas that shape the field of logic programming and its applications in artificial intelligence search strategies. Whether you're a seasoned programmer or a curious learner, this book provides valuable insights and a uniform treatment of the subject, making it a must-have addition to your library. Enhance your understanding of programming languages and their mathematical theories with this authoritative text.\u003c\/p\u003e","brand":"James H. Andrews","offers":[{"title":"Default Title","offer_id":52236722536790,"sku":"9780521607544","price":46.07,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521607544.jpg?v=1767757632","url":"https:\/\/www.englishbook.pt\/products\/logic-programming-cambridge-university-press-9780521607544-operational-semantics-and-proof-theory-james-h-andrews","provider":"Bookshop","version":"1.0","type":"link"}