System Description: SCOTT-5

Citation

Hodgson, K & Slaney, J 2001, 'System Description: SCOTT-5', International Joint Conference on Automated Reasoning (IJCAR 2001), ed. Gore, R; Leitsch, A; Nipkow, T, Springer, Berlin, Germany, pp. 443-447.

Year

2001

ANU Authors

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers