Ahmed Bhayat – Student theses — Research Explorer The University of Manchester

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

1 results
- Title(ascending)
- Award date

Automated Theorem Proving in Higher-Order Logic
Author: Bhayat, A., 1 Aug 2021
Supervisor: Lammich, P. (Supervisor) & Reger, G. (Supervisor)
Student thesis: Phd

File