Model Evolution-Based Theorem Proving

Citation

Baumgartner, P 2014, 'Model Evolution-Based Theorem Proving', IEEE Intelligent Systems, vol. 29, no. 1, pp. 4-10.

Year

2014

ANU Authors

Field of Research

  • Analysis Of Algorithms And Complexity

Updated:  22 October 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers