The TPTP Typed First-Order Form with Arithmetic

Citation

Sutcliffe, G, Schulz, S, Claessen, K et al 2012, 'The TPTP Typed First-Order Form with Arithmetic', International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2012), Springer, Unknown, pp. 406-419.

Year

2012

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

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