Adimen-SUMO: Reengineering an ontology for first-order reasoning
ISSN: 1552-6283, 1552-6291
Año de publicación: 2012
Volumen: 8
Número: 4
Páginas: 80-116
Tipo: Artículo
ISSN: 1552-6283, 1552-6291
Año de publicación: 2012
Volumen: 8
Número: 4
Páginas: 80-116
Tipo: Artículo