Visualising Reasoning: What ATP Can Learn From CP

Citation

Slaney, J 2012, 'Visualising Reasoning: What ATP Can Learn From CP', Electronic Notes in Theoretical Computer Science, vol. 285, no. 57-70, pp. 57-70.

Year

2012

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

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