Logical engineering with instance-based methods

Citation

Baumgartner, P 2007, 'Logical engineering with instance-based methods', International Conference on Automated Deduction (CADE 2007), ed. Frank Pfenning, Springer, New York, pp. 404-409.

Year

2007

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

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