Resolution proof systems

Resolution proof systems1996
Details
- First published
- 1996
- OL Work ID
- OL3256775W
Subjects
Artificial intelligenceAutomatic theorem provingLogic, Symbolic and mathematicalSymbolic and mathematical LogicLogic, symbolic and mathematical