Keith Leonard Clark
Original record- Institution
- Imperial College London
- Year
- 1980
- Country
- United Kingdom
- MGP identifier
- 94036
Dissertation: Predicate Logic as a Computational Formalism
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Robert Anthony KowalskiThe University of Edinburgh · 1970
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Zacharias Bobolakis | Imperial College London | 1999 | 0 |
| Ian Foster | Imperial College London | 1988 | 11 |
| Priscilla Machado Vieira Lima | University of London | 2000 | 0 |