Patrick John Hayes
Original record- Institution
- The University of Edinburgh
- Year
- 1973
- Country
- United Kingdom
- MGP identifier
- 102682
Dissertation: Semantic Trees: New Foundations for Automatic Theorem-Proving
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Bernard MeltzerUniversity of London · 1953
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Anthony G. Cohn | University of Essex | 1983 | 12 |
| Jörg H. Siekmann | University of Essex | 1976 | 63 |