Skip navigation
Skip navigation

The Tableaux Work Bench

Abate, Pietro; Gore, Rajeev

Description

The Tableaux Work Bench (TWB) is a meta tableau system designed for logicians with limited programming or automatic reasoning knowledge to experiment with new tableau calculi and new decision procedures. It has a simple interface, a history mechanism for

CollectionsANU Research Publications
Date published: 2003
Type: Conference paper
URI: http://hdl.handle.net/1885/86095
Source: Automated Reasoning with Analytic Tableaux and Related Methods

Download

There are no files associated with this item.


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

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator