Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

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

Open Access

Download (235.12 MB)

link to publisher version

  • Altmetric Citations

Abate, Pietro

dc.contributor.authorAbate, Pietro
dc.date.accessioned2018-11-22T00:03:45Z
dc.date.available2018-11-22T00:03:45Z
dc.date.copyright2007
dc.identifier.otherb2345567
dc.identifier.urihttp://hdl.handle.net/1885/149636
dc.format.extentviii, 127 p.
dc.language.isoen_AU
dc.rightsAuthor retains copyright
dc.subject.lccQA76.9.A96A23 2007
dc.subject.lcshAutomatic theorem proving Computer programs
dc.subject.lcshComputer logic
dc.titleThe tableau workbench : a framework for building automated tableau-based theorem provers
dc.typeThesis (PhD)
local.description.notesThesis (Ph.D.)--Australian National University 2007
dc.date.issued2007
local.type.statusAccepted Version
local.identifier.doi10.25911/5d611a1fdec15
dc.date.updated2018-11-19T23:46:50Z
dcterms.accessRightsOpen Access
local.mintdoimint
CollectionsOpen Access Theses

Download

File Description SizeFormat Image
b23455676-Abate_P.pdf235.12 MBAdobe PDFThumbnail
Show simple item record


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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator