Skip to content

McGill University / Computer Science

Associate Professor · Computational Complexity · Proof Complexity

about advising research lab teaching fun news

← all research papers

A Note on Tractability and Artificial Intelligence.

Tarek R. Besold and Robert Robere.

AGI 2013. [DOI]

Robert Robere · McGill University Back to top ↑