Joe Hurd
| Dr Joe Hurd
Junior Research Fellow
|
publications
|
Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
Joe Hurd, Edward Smith and Ashish Darbari
No. RR-05-02, Technical Report, Oxford University Computing Laboratory. July 2005.
Details
|
BibTeX
| Download (pdf) |
View all
location
Wolfson Building, Parks Road, Oxford OX1 3QD
|
