Daniel Gorín
Original record- Institution
- Universidad de Buenos Aires and Université Henri Poincaré Nancy 1
- Year
- 2009
- Country
- Argentina
- MGP identifier
- 206456
Dissertation: Automated reasoning techniques for hybrid logics
Mathematics Subject Classification: 68—Computer science
Advisors 3
- Verónica Andrea BecherUniversidad de Buenos Aires · 1999
- Carlos Eduardo ArecesUniversiteit van Amsterdam · 2000
- Patrick Rowan BlackburnThe University of Edinburgh · 1990
Students 0
No students recorded in this snapshot.