Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics

Regular price $9.99 Sale

Covering the authors own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs.