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
2003ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified