Home › Authors › Maria Paola Bonacina 👤 Maria Paola Bonacina 2 books Books by Maria Paola Bonacina Automated Deduction -- CADE-24 2013 Automated Reasoning and Mathematics 2013