Title: Symbolic and numerical computation for artificial intelligence
Subjects: Congresses, Artificial intelligence