Ahmed Bhayat – Research output — Research Explorer The University of Manchester

If you made any changes in Pure these will be visible here soon.

5 Conference contribution
1 Abstract
1 Conference article

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