Author Search Results

1

Cover Image

Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / edited by Maria Paola Bonacina.

Published 2013

Other Authors: '; “...Bonacina, Maria Paola....”
Get full text

2

Cover Image

Automated Reasoning and Mathematics Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.

Published 2013

Other Authors: '; “...Bonacina, Maria Paola....”
Get full text