Title: Resolution proof systems
First published: 1996
Subjects: Artificial intelligence, Automatic theorem proving, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logic, symbolic and mathematical
LC classification: QA76.9.A96 S72 1996