Ninth International Symposium on

Artificial Intelligence and Mathematics