Efficient axiom pinpointing with EL2MCS
- Arif, M.F.
- Mencìa, C.
- Marques-Silva, J.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319244884
Any de publicació: 2015
Volum: 9324
Pàgines: 225-233
Tipus: Aportació congrés
ISSN: 1611-3349, 0302-9743
ISBN: 9783319244884
Any de publicació: 2015
Volum: 9324
Pàgines: 225-233
Tipus: Aportació congrés