👤

Maria Paola Bonacina

2 books

Books by Maria Paola Bonacina

Automated Deduction -- CADE-24
Automated Deduction -- CADE-24
2013
Automated Reasoning and Mathematics
Automated Reasoning and Mathematics
2013