You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Theorem proving with analytic tableaux and related methods
:
5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings