Resolution Methods for the Decision Problem (Lecture Notes in Computer Science, 679)
by C. Fermüller, A. Leitsch, Tanel Tammet, Nail Zamov
This scholarly volume explores resolution methods connected with the decision problem. Written for readers in theoretical computer science, mathematical logic, and automated reasoning, it offers a focused reference on a specialized area of computational logic within the Lecture Notes in Computer Science series.
About This Book
Resolution Methods for the Decision Problem examines resolution-based approaches to decision procedures in logic and computer science.
The volume is part of the Lecture Notes in Computer Science series and is authored by C. Fermüller, A. Leitsch, Tanel Tammet, and Nail Zamov.
Its subject matter is suited to readers studying automated reasoning, formal methods, mathematical logic, and theoretical aspects of computation.
The book provides a specialized academic reference focused on the role of resolution methods in addressing decision problems.
Reviews
No reviews yet. Be the first to review this book!