Title: Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Subjects: Artificial intelligence, Logic, symbolic and mathematical, Automatic theorem proving