BONACINA, Maria Paola
BONACINA, Maria Paola
DIPARTIMENTO DI INFORMATICA
Advances in first-order theorem proving
2000-01-01 Bonacina, Maria Paola; Ulrich, Furbach
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction
2013-01-01 Bonacina, Maria Paola
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
2013-01-01 Bonacina, Maria Paola; Mark E., Stickel
Fifth workshop on strategies in automated deduction: selected papers
2005-01-01 Bonacina, Maria Paola; Thierry Boy De La, Tour
Fourth workshop on strategies in automated deduction: selected papers
2001-01-01 Bonacina, Maria Paola; Bernhard, Gramlich
Integrated Deduction - Report from Dagstuhl Seminar 21371
2022-01-01 Bonacina, Maria Paola; Ruemmer, Philipp; Schmidt, Renate A.
Notes of the First International Workshop on First-order Theorem Proving (FTP)
1997-01-01 Bonacina, Maria Paola; Ulrich, Furbach
Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS)
2012-01-01 Bonacina, Maria Paola; Maribel, Fernandez
Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
2022-01-01 Bonacina, Maria Paola
The Next Generation of Deduction Systems: From Composition to Compositionality - Report from Dagstuhl Seminar 23471
2024-01-01 Bonacina, Maria Paola; Fontaine, Pascal; Nalon, Claudia; Schon, Claudia; Desharnais, Martin