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