Browsing by Author 9b34c813-4ee7-480b-ae89-f915b901ddad
Showing results 3 to 5 of 5
System description: The Tableau workbench
Author(s) | Abate, Pietro; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | November 29-30 2007 |
The tableau workbench : a framework for building automated tableau-based theorem provers
Author(s) | Abate, Pietro |
---|---|
Type | Thesis (PhD) |
Date Published | 2007 |
Date Created | - |
The Tableaux Work Bench
Author(s) | Abate, Pietro; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2003 |
Date Created | September 9 2003 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator