Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
by Pascal Hitzler, Anthony Seda
A detailed study of the mathematical principles that support logic programming semantics and their formal properties.
About This Book
This book examines mathematical structures underlying logic programming semantics.
It presents formal approaches to understanding computational logic systems.
The work addresses theoretical aspects relevant to informatics and programming theory.
Reviews
No reviews yet. Be the first to review this book!