Mathematical Aspects of Logic Programming Semantics |
|
| Author:
| Hitzler, Pascal
Seda, Anthony |
| ISBN: | 978-1-4398-2962-2 |
| Publication Date: | Apr 2016 |
| Publisher: | Taylor & Francis Group
|
| Imprint: | CRC Press |
| Book Format: | Digital (delivered electronically) |
| List Price: | Contact Supplier contact
Contact Supplier contact
Contact Supplier contact
Contact Supplier contact
|
Book Description:
|
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs.
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs.