Resolution Methods for the Decision Problem (Lecture Notes in Computer Science, 679)
I will be using this book for:
Log in to remove ads

Resolution Methods for the Decision Problem (Lecture Notes in Computer Science, 679)

by C. Fermüller, A. Leitsch, Tanel Tammet, Nail Zamov

Mathematics Computer Science Logic
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Explores resolution-based approaches to solving decision problems in logic and automated reasoning.

ISBN-13 9783540567325 ASIN 3540567321 Views 35 Publisher Springer Year 1993 Edition 1993 ed. Format Paperback Product Group Book Pages 248 Adult No Created June 10, 2026 Updated September 12, 2026
About This Book

This volume presents resolution methods for addressing the decision problem in logic.

It is part of the Lecture Notes in Computer Science series.

The work focuses on automated theorem proving techniques.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: