Skip navigation
Skip navigation

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

CollectionsOpen Access Theses
Date published: 2007
Type: Thesis (PhD)
URI: http://hdl.handle.net/1885/149636
DOI: 10.25911/5d611a1fdec15
Access Rights: Open Access

Download

File Description SizeFormat Image
b23455676-Abate_P.pdf235.12 MBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

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