Olga Caprotti

• Artificial Intelligence, Automated Reasoning, and Symbolic Computation