Title: Artificial intelligence, automated reasoning, and symbolic computation
Subjects: Congresses, Symbolic and mathematical Logic, Artificial intelligence, Automatic theorem proving