J.M. Heguiabehere, 1968
doctor
| Naam | J.M. Heguiabehere |
|---|---|
| Voornamen | Juan Martin |
| Geslacht | man |
| Geboren | 1968, Buenes Aires, Argentinië |
| Publicaties | [UvA-catalogus] |
| Link naar deze persoon | https://albumacademicum.uva.nl/id/id056531 |
Opleiding
| Opleiding | Informatica |
|---|---|
| Graad |
4 december 2003
|
| Examentype | promotie |
| Instelling | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
| Proefschrift | Building logic toolboxes |
| Trefwoord | theoretische informatica, logica, verzamelingsleer, Formele logica, Automatische bewijsvoering, Modale logica |
| Promotor(en) |
|
| Copromotor(en) |
|