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
2012ANU Authors
Field of Research
- Computational Logic And Formal Languages