Title: Computational logic
Subjects: Congresses, Symbolic and  Mathematical Logic, Automatic theorem proving, Symbolic and mathematical Logic