R.N. Bol, 1965
doctor
Naam | R.N. Bol |
---|---|
Voornamen | Roland Nicolaas |
Geslacht | man |
Geboren | 1965, Den Haag, Nederland |
Publicaties | [UvA-catalogus] |
Link naar deze persoon | https://albumacademicum.uva.nl/id/id052337 |
Opleiding
Opleiding | Wiskunde en Informatica |
---|---|
Graad |
18 oktober 1991
|
Examentype | promotie |
Instelling | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
Proefschrift | Loop checking in logic programming |
Trefwoord | programmatuurontwikkeling, Functionele talen, Fouten, Herhalingen, Logica, Software |
Promotor(en) |
|
Aantal stellingen | 10 |