Mauro Ferrari

发表

Pierangelo Miglioli, Alessandro Avellone, Ugo Moscato, 1996 .
P. Miglioli, Mauro Ferrari, N. Interno, 2000 .
P. Miglioli, Mauro Ferrari, 2015 .
Mauro Ferrari, Agata Ciabattoni, A. Ciabattoni, 2000, TABLEAUX.
Mauro Ferrari, Mario Ornaghi, Camillo Fiorentini, 2001, LOPSTR.
Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2017, Journal of Automated Reasoning.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2010, Journal of Automated Reasoning.
Mauro Ferrari, Camillo Fiorentini, Loris Bozzato, 2007, Description Logics.
Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi, 2003, Log. J. IGPL.
Mauro Ferrari, Camillo Fiorentini, Alessandro Avellone, 2000, LOPSTR.
Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2018, ACM Trans. Comput. Log..
Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2017, TABLEAUX.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2015, ACM Trans. Comput. Log..
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2013, TABLEAUX.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2012, TOCL.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2010, LPAR.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2009, J. Appl. Non Class. Logics.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2005, TOCL.
Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2003, Stud Logica.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2002, TABLEAUX.
Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2020, ICTCS.
Mauro Ferrari, Camillo Fiorentini, 2017, Journal of automated reasoning.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2009 .
Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2015, TABLEAUX.
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2014, CILC.
Mauro Ferrari, Camillo Fiorentini, 2022, CILC.
Mauro Ferrari, Pierangelo Miglioli, Alessandro Avellone, 1998, LOPSTR.
Camillo Fiorentini, Mauro Ferrari, Mauro Ferrari, 2021, J. Log. Comput..
Mauro Ferrari, Alessandro Avellone, A. Avellone, 1996, TABLEAUX.