Skip navigation
The Australian National University

The Tableaux Work Bench

Citation

Abate, P & Gore, R 2003, 'The Tableaux Work Bench', International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2003), ed. Marta Cialdea Mayer, Fiora Pirri, Springer, Berlin, pp. 230-236.

Year

2003

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers