The Tableaux Work Bench
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
|Collections||ANU Research Publications|
|Source:||Automated Reasoning with Analytic Tableaux and Related Methods|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.