Giles Reger - Research output - Research Explorer The University of Manchester

35 Conference contribution
7 Chapter
5 Conference article
2 Paper
More

1 results

Filter

2018
Higher-order Reasoning Vampire Style
Bhayat, A. & Reger, G., 20 Mar 2018, p. 19-20. 2 p.
Research output: Contribution to conference › Abstract