![]() | ![]() |
1998 | ||
---|---|---|
4 | EE | 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: 605 |
1995 | ||
3 | EE | Marco Mondadori: Efficient Inverse Tableaux. Logic Journal of the IGPL 3(6): 939-953 (1995) |
1994 | ||
2 | Marcello D'Agostino, Marco Mondadori: The Taming of the Cut. Classical Refutations with Analytic Cut. J. Log. Comput. 4(3): 285-319 (1994) | |
1992 | ||
1 | Marcello D'Agostino, Marco Mondadori: An Improvement of Analytic Tableaux. TABLEAUX 1992: 1-3 |
1 | Marcello D'Agostino | [1] [2] [4] |
2 | Ulrich Endriss (Ulle Endriss) | [4] |
3 | Dov M. Gabbay | [4] |
4 | Jeremy V. Pitt (Jeremy Pitt) | [4] |