CEUR Workshop Proceedings
Towards Implementing Finite Model Reasoning in Description Logics / Cadoli, Marco; Calvanese, D.; DE GIACOMO, Giuseppe. - 104:(2004).
Towards Implementing Finite Model Reasoning in Description Logics
CADOLI, Marco;DE GIACOMO, Giuseppe
2004
Abstract
CEUR Workshop ProceedingsFile allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
