Foundations of Disjunctive Logic Programming
by Jack Minker, Jorge Lobo, Arcot Rajasekar
Foundations of Disjunctive Logic Programming offers a focused academic treatment of disjunctive logic programming and its underlying principles. Written by Jack Minker, Jorge Lobo, and Arcot Rajasekar, it serves readers interested in computer science, formal logic, programming, and logic-based approaches to computation.
About This Book
Foundations of Disjunctive Logic Programming presents an academic treatment of the principles underlying disjunctive logic programming.
Written by Jack Minker, Jorge Lobo, and Arcot Rajasekar, the book focuses on the relationship between logic and programming.
Its subject makes it relevant to readers studying computer science, formal reasoning, and logic-based computational methods.
The book is suited to academic and professional audiences seeking a focused foundation in this specialized area.
Reviews
No reviews yet. Be the first to review this book!