This work is licensed under a Creative Commons Attribution-Share Alike 2.0 France License.
| Title | The Tableau WorkBench: a framework for building automated tableau-based theorem provers |
| Publication Type | Thesis |
| Year of Publication | 2007 |
| Authors | Abate, P |
| University | The australian national university |
| City | Canberra |
| Thesis Type | PhD thesis |
| URL | papers-download/anuthesis.pdf |
Recent comments
18 weeks 1 day ago
1 year 18 weeks ago
1 year 22 weeks ago
1 year 35 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago
1 year 42 weeks ago
1 year 43 weeks ago
2 years 20 weeks ago
2 years 24 weeks ago