Title: Automated deduction
Subjects: Symbolic and mathematical Logic, Automatic theorem proving, Artificial intelligence, Expert Systems, Logic, Programming - Software Development, Philosophy / Logic, Computers - General Information, Logic, symbolic and mathematical