Maria Paola Bonacina

Maria Paola Bonacina

3 books in the database

Books

Automated Reasoning and MathematicsMaria Paola Bonacina

Automated Reasoning and Mathematics

Maria Paola Bonacina · 2013

Automated Deduction – CADE-24Maria Paola Bonacina

Automated Deduction – CADE-24

Maria Paola Bonacina · 2013

Automated Deduction -- CADE-24Maria Paola Bonacina

Automated Deduction -- CADE-24

Maria Paola Bonacina · 2013