Adimen-SUMO: Reengineering an ontology for first-order reasoning
ISSN: 1552-6283, 1552-6291
Argitalpen urtea: 2012
Alea: 8
Zenbakia: 4
Orrialdeak: 80-116
Mota: Artikulua
ISSN: 1552-6283, 1552-6291
Argitalpen urtea: 2012
Alea: 8
Zenbakia: 4
Orrialdeak: 80-116
Mota: Artikulua