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. It significantly extends the tools and methods from traditi...
Pascal Hitzler, Anthony Seda
Hardcover
304
CRC Press
1439829616
9781439829615
1
Anthony Seda
Hardcover
CRC Press Inc
4