Marco Mondadori

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Publications

Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems (1998)
Marco Mondadori
Efficient Inverse Tableaux. Log. J. IGPL 3 (6) (1995)
Marcello D'Agostino, Marco Mondadori
The Taming of the Cut. Classical Refutations with Analytic Cut. J. Log. Comput. 4 (3) (1994)
Marcello D'Agostino, Marco Mondadori
An Improvement of Analytic Tableaux. TABLEAUX (1992)