Scan barcode
304 pages • missing pub info (editions)
ISBN/UID: 9781439829615
Format: Hardcover
Language: English
Publisher: CRC Press
Publication date: 22 November 2010
Description
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 sig...
Community Reviews
Content Warnings
304 pages • missing pub info (editions)
ISBN/UID: 9781439829615
Format: Hardcover
Language: English
Publisher: CRC Press
Publication date: 22 November 2010
Description
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 sig...