Resolution proof systems

Name: Resolution proof systems
Author: Zbigniew Stachniak

No description available.

Artificial intelligenceAutomatic theorem provingLogic, Symbolic and mathematicalSymbolic and mathematical LogicLogic, symbolic and mathematical