Seif Haridi
Original record- Institution
- Kungliga Tekniska Högskolan (KTH)
- Year
- 1981
- Country
- Sweden
- MGP identifier
- 201410
Dissertation: Logic Programming Based on a Natural Deduction System
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Lars-Erik ThorelliKungliga Tekniska Högskolan (KTH) · 1972
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Paris Carbone | Kungliga Tekniska Högskolan (KTH) | 2018 | 0 |
| Ali Ghodsi | Kungliga Tekniska Högskolan (KTH) | 2006 | 1 |