Robert Anthony Kowalski
Original record- Institution
- The University of Edinburgh
- Year
- 1970
- Country
- United Kingdom
- MGP identifier
- 127951
Dissertation: Studies in the Completeness and Efficiency of Theorem-Proving by Resolution
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Bernard MeltzerUniversity of London · 1953
Students 11
| Name | Institution | Year | Students |
|---|---|---|---|
| Keith Leonard Clark | Imperial College London | 1980 | 3 |
| Kave Eshghi | Imperial College London | 1986 | 0 |
| David Frost | Imperial College London | 1990 | 0 |
| Christopher Hogger | Imperial College London | 1968 | 1 |
| Christopher Moss | Imperial College London | 1981 | 0 |
| George Pollard | Imperial College London | 1981 | 0 |
| Fariba Sadri | Imperial College London | 1988 | 1 |
| Marek Sergot | Imperial College London | 1980 | 5 |
| Suryanarayana Sripada | Imperial College London | 1990 | 0 |
| Francesca Toni | Imperial College London | 1995 | 2 |
| David H. D. Warren | The University of Edinburgh | 1977 | 0 |