{"product_id":"extensions-of-logic-programming-4th-international-workshop-elp-93-st-andrews-u-k-march-29-april-1-1993-proceedings-von-roy-dyckhoff-hrsg","title":"Extensions of Logic Programming","description":"The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March\/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540580256\"\u003e\u003ch3\u003e4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540580256","offer_id":39426343436381,"sku":"9783540580256","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2b8021ae-b7ca-41fe-8de5-3e603625fce8.jpg?v=1773554151","url":"https:\/\/shop.autorenwelt.de\/products\/extensions-of-logic-programming-4th-international-workshop-elp-93-st-andrews-u-k-march-29-april-1-1993-proceedings-von-roy-dyckhoff-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}