Goals and benchmarks for automated map reasoning
FORMISANO A
•
OMODEO, EUGENIO
•
TEMPERINI M.
2000
Periodico
JOURNAL OF SYMBOLIC COMPUTATION
Archivio
Diritti
metadata only access