Skip navigation
Skip navigation

Open Research at ANU

Search ANU Research

Add filters to refine the search results


Results
b23455676-Abate_P.pdf.jpg

The tableau workbench : a framework for building automated tableau-based theorem provers

Author(s)Abate, Pietro
TypeThesis (PhD)
Date Published2007
Date Created-
  • previous
  • 1
  • next

Discover

Date issued

Updated:  19 May 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator