Hyper tableaux with equality

Citation

Baumgartner, P, Furbach, U & Pelzer, B 2007, 'Hyper tableaux with equality', International Conference on Automated Deduction (CADE 2007), ed. Frank Pfenning, Springer, New York, pp. 492-507.

Year

2007

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  26 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers