D. Zucchelli

发表

D. Zucchelli, 2008 .

Daniele Zucchelli, D. Zucchelli, 2008 .

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, FroCoS.

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, Annals of Mathematics and Artificial Intelligence.

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2006, JELIA.

Maria Paola Bonacina, Silvio Ghilardi, Silvio Ranise, 2006, IJCAR.

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, CADE.

Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli, 2008, TOCL.

Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli, 2006 .

S. Ghilardi, D. Zucchelli, Enrica Nicolini, 2005, FroCoS.

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, Deduction and Decision Procedures.

D. Zucchelli, Enrica Nicolini, 2010, Journal of Automated Reasoning.