Lemma learning in the model evolution calculus

Citation

Baumgartner, P, Fuchs, A & Tinelli, C 2006, 'Lemma learning in the model evolution calculus', International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2006), ed. Miki Hermann, Andrei Voronkov, Springer, New York, pp. 572-586.

Year

2006

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

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