Bonacina, Maria Paola
Maria Paola Bonacina researcher
VIAF ID: 302922688 ( Personal )
Permalink: http://viaf.org/viaf/302922688
Preferred Forms
-
-
-
- 100 1 _ ‡a Bonacina, Maria Paola
- 100 1 _ ‡a Bonacina, Maria Paola
- 100 1 _ ‡a Bonacina, Maria Paola
- 100 1 _ ‡a Bonacina, Maria Paola
- 100 0 _ ‡a Maria Paola Bonacina ‡c researcher
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Automated deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings | |
Automated reasoning and mathematics essays in memory of William W. McCune ; [Festschrift] | |
CADE-24 |