Pawel Gburzynski
Original record- Institution
- Uniwersytet Warszawski
- Year
- 1982
- Country
- Poland
- MGP identifier
- 72392
Dissertation: Resolution Versus Gentzen: Experiments with Two Systems of Mechanical Theorem Proving
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Andrzej SalwickiUniwersytet Warszawski · 1969
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Cesur Baransel | University of Alberta | 1994 | 0 |
| Rasit M. Eskicioglu | University of Alberta | 2004 | 0 |
| Wladyslaw Olesinski | University of Alberta | 1999 | 0 |
| Theodore Ono-Tesfaye | University of Alberta | 2000 | 0 |
| Ramaswamy Srinivasan | University of Alberta | 1997 | 0 |