Andrea Formisano
Original record- Institution
- Università degli Studi dell'Aquila and Università di Roma La Sapienza
- Year
- 2000
- Country
- Italy
- MGP identifier
- 141996
Dissertation: Theory-based Resolution and Automated Set Reasoning
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Eugenio Giovanni OmodeoNew York University · 1984
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Dario Campagna | Università degli Studi di Perugia | 2012 | 0 |