SMTtoTPTP - A Converter for Theorem Proving Formats

Citation

Baumgartner, P 2015, 'SMTtoTPTP - A Converter for Theorem Proving Formats', Lecture Notes in Artificial Intelligence, vol. 9195, pp. 285-294.

Year

2015

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

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