Title: Artificial intelligence and symbolic computation
Subjects: Congresses, Symbolic and mathematical Logic, Artificial intelligence, Logic, Symbolic and mathematical