Mauro Gargano
Orcid: 0000-0002-4582-704X
According to our database1,
Mauro Gargano
authored at least 2 papers
between 2005 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the Digital Libraries on the Move, 2015
2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005