S. Christiaan van Westrhenen
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1969
- Country
- Netherlands
- MGP identifier
- 144303
Dissertation: The Statistical Estimation of Provability in the First Order Predicate Calculus
Advisor 1
- Wouter PeremansUniversiteit van Amsterdam · 1949
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| G.-J. Akkerman | Technische Universiteit Delft | 1996 | 0 |
| Adrianus Bos | Technische Universiteit Delft | 1998 | 0 |
| Hans (Jean Marie Guillaume Gérard) de Nivelle | Technische Universiteit Delft | 1995 | 0 |
| Joannes (Hans) Paulus Maria de Vreught | Technische Universiteit Delft | 1993 | 0 |
| Johannes (Hans) Hellendoorn | Technische Universiteit Delft | 1990 | 1 |
| Ferdinand Peper | Technische Universiteit Delft | 1989 | 0 |
| Nicolaas (Nico) Roos | Technische Universiteit Delft | 1991 | 4 |
| Ruud Sommerhalder | Technische Universiteit Delft | 1992 | 5 |
| Joannes (Hans) Franciscus Maria Tonino | Technische Universiteit Delft | 1997 | 0 |
| Afke M.C. van Rijn | Technische Universiteit Delft | 1991 | 0 |