Complex Analogies: Remarks on the Complexity of HDTP.
Tarek R. Besold and Robert Robere.
Australasian Conference on Artificial Intelligence (AI 2012). [DOI]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Tarek R. Besold and Robert Robere.
Australasian Conference on Artificial Intelligence (AI 2012). [DOI]