M.B. Kalsbeek, 1960

doctor

Naam M.B. Kalsbeek
Voornamen Marianne Baukje
Geslacht vrouw
Geboren 1960, Utrecht, Nederland
Publicaties [UvA-catalogus]
Link naar deze persoon https://albumacademicum.uva.nl/id/id053440

Opleiding

Opleiding Wiskunde en Informatica
Graad
22 september 1995
Examentype promotie
Instelling
Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Meta-logics for logic programming
Trefwoord programmeertechnieken, Logisch programmeren, Logica
Promotor(en)
  • prof. dr. K.R. Apt, Universiteit van Amsterdam
  • prof. dr. J.F.A.K. van Benthem, Universiteit van Amsterdam
Aantal stellingen 5
Terug naar zoek resultaten