Author: Rolf Socher-Ambrosius, Patricia Johann

Publisher/Date: Springer, 1997

ISBN: 0387948473

Format/Condition: USED hardcover book, near fine condition, 206 pages

Description: This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction in a presentation of first-order resolution theorem proving that also covers resolution in order-sorted first-order logic, this book provides a self-contained account suitable for students coming to the subject for the first time.