This text aims at promoting a convergence between the technical challenges of developing advanced software systems and the formal techniques, tools and features evolving from the logic programming paradigm. It provides contributions towards different apsects of logic programming.
Read More
This text aims at promoting a convergence between the technical challenges of developing advanced software systems and the formal techniques, tools and features evolving from the logic programming paradigm. It provides contributions towards different apsects of logic programming.
Read Less
Add this copy of Logic Programming: Formal Methods and Practical to cart. $52.47, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by North-Holland.
