M. Bonacina
发表
Maria Paola Bonacina,
Ulrich Furbach,
Viorica Sofronie-Stokkermans,
2015,
Logic, Rewriting, and Concurrency.
M. Bonacina,
1998
.
M. Clavel,
M. Bonacina,
B. Gramlich,
2007
.
M. Bonacina,
Zhang Hantao,
1994
.
D. Plaisted,
M. Bonacina,
2016,
Journal of Automated Reasoning.
Maria Paola Bonacina,
Alessandro Armando,
Silvio Ranise,
2002
.
Maria Paola Bonacina,
Mark E. Stickel,
M. Stickel,
2013,
Lecture Notes in Computer Science.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007
.
Maria Paola Bonacina,
Schulz Stephan,
M. Bonacina,
2005,
ICLP 2005.
Maria Paola Bonacina,
M. Bonacina,
Anantharaman Siva,
1989
.
M. Bonacina,
2022,
Journal of Automated Reasoning.
N. Shankar,
M. Bonacina,
Stéphane Lengrand,
2022,
SMT.
M. Stickel,
M. Bonacina,
2012
.
M. Bonacina,
S. Winkler,
2022,
PAAR@IJCAR.
D. Plaisted,
M. Bonacina,
M. P. Bonacina,
2016,
Journal of Automated Reasoning.
N. Shankar,
M. Bonacina,
Stéphane Graham-Lengrand,
2021,
Journal of Automated Reasoning.
M. Bonacina,
M. Camusso,
M. Pettine,
2000
.
Maria Paola Bonacina,
Cesare Tinelli,
Christophe Ringeissen,
2019,
Description Logic, Theory Combination, and All That.
Maria Paola Bonacina,
M. Bonacina,
2018,
Handbook of Parallel Constraint Reasoning.
Maria Paola Bonacina,
David A. Plaisted,
D. Plaisted,
2017,
Journal of Automated Reasoning.
Maria Paola Bonacina,
Nachum Dershowitz,
N. Dershowitz,
2013,
Programming Logics.
Maria Paola Bonacina,
Alessandro Armando,
Silvio Ranise,
2006,
TOCL.
Maria Paola Bonacina,
Nachum Dershowitz,
N. Dershowitz,
2004,
TOCL.
Maria Paola Bonacina,
Jieh Hsiang,
J. Hsiang,
1994,
Journal of Automated Reasoning.
Maria Paola Bonacina,
M. Bonacina,
M. P. Bonacina,
1999,
Artificial Intelligence Today.
Maria Paola Bonacina,
M. Bonacina,
2001,
Annals of Mathematics and Artificial Intelligence.
Maria Paola Bonacina,
M. Bonacina,
1999,
Annals of Mathematics and Artificial Intelligence.
Maria Paola Bonacina,
Leonardo Mendonça de Moura,
Christopher Lynch,
2011,
Journal of Automated Reasoning.
Maria Paola Bonacina,
M. Bonacina,
1996,
J. Symb. Comput..
Maria Paola Bonacina,
Jieh Hsiang,
J. Hsiang,
1998,
New Generation Computing.
Maria Paola Bonacina,
M. Bonacina,
1992
.
N. Shankar,
M. Bonacina,
Stéphane Lengrand,
2021,
Journal of Automated Reasoning.
Maria Paola Bonacina,
M. Bonacina,
M. P. Bonacina,
2018,
AFM@NFM.
Maria Paola Bonacina,
Moa Johansson,
M. Bonacina,
2011,
TABLEAUX.
Maria Paola Bonacina,
M. Bonacina,
M. P. Bonacina,
2010,
PPDP.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2010,
J. Symb. Comput..
Maria Paola Bonacina,
Leonardo Mendonça de Moura,
Christopher Lynch,
2009,
CADE.
Maria Paola Bonacina,
Moa Johansson,
M. Bonacina,
2014,
Journal of Automated Reasoning.
Maria Paola Bonacina,
David A. Plaisted,
D. Plaisted,
2014
.
Maria Paola Bonacina,
M. Bonacina,
Johansson Moa,
2011
.
Maria Paola Bonacina,
Alberto Martelli,
A. Martelli,
2014,
Lecture Notes in Computer Science.
Maria Paola Bonacina,
Sarah Winkler,
M. Bonacina,
2020,
IJCAR.
G. Sutcliffe,
M. Beeson,
M. Bonacina,
2022,
Journal of Automated Reasoning.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2008,
J. Log. Comput..
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
CADE.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
STRATEGIES@IJCAR.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
PDPAR/PaUL@FLoC.
Maria Paola Bonacina,
Silvio Ghilardi,
Silvio Ranise,
2006,
IJCAR.
Maria Paola Bonacina,
Alessandro Armando,
Silvio Ranise,
2005,
FroCoS.
Maria Paola Bonacina,
Moa Johansson,
M. Bonacina,
2015,
Journal of Automated Reasoning.
Maria Paola Bonacina,
Jieh Hsiang,
J. Hsiang,
1995,
Theor. Comput. Sci..
Maria Paola Bonacina,
Jieh Hsiang,
J. Hsiang,
1992,
J. Log. Program..
Maria Paola Bonacina,
Jieh Hsiang,
J. Hsiang,
1990,
CTRS.
Maria Paola Bonacina,
Hantao Zhang,
Jieh Hsiang,
1996,
J. Symb. Comput..
Maria Paola Bonacina,
M. Bonacina,
2013,
Lecture Notes in Computer Science.
M. Bonacina,
Echenim Mnacho,
2007
.