Marco Mondadori

According to our database¹, Marco Mondadori authored at least 4 papers between 1992 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Tutoring Systems, 4th International Conference, 1998

1995

Efficient Inverse Tableaux.

[BibT_eX]

[DOI]

Log. J. IGPL, 1995

1994

The Taming of the Cut. Classical Refutations with Analytic Cut.

[BibT_eX]

[DOI]

J. Log. Comput., 1994

1992

An Improvement of Analytic Tableaux.

[BibT_eX]

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992