BOOKS by Rolf Socher-Ambrosius

Deduction Systems more books like this

by Rolf Socher-Ambrosius, Patricia Johann

This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. By presenting an account which covers resolution theorem-proving in order-sorted first-order logic it provides a self-contained account suitable for students coming to the subject for the first time. Both Gentzen-style sequent ...

see all copies from $8.12!

new only from $8.12! | first editions