BONACINA, Maria Paola

BONACINA, Maria Paola  

DIPARTIMENTO DI INFORMATICA  

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