J.M. Heguiabehere, 1968
doctor
| Name | J.M. Heguiabehere |
|---|---|
| Full name | Juan Martin |
| Gender | male |
| Born | 1968, Buenes Aires, Argentinië |
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id056531 |
Education
| Education | Informatica |
|---|---|
| Degree |
Dec. 4, 2003
|
| Exam level | promotie |
| Institution | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Building logic toolboxes |
| Keyword | theoretische informatica, logica, verzamelingsleer, Formele logica, Automatische bewijsvoering, Modale logica |
| Supervisor(s) |
|
| Assistent supervisor(s) |
|