Nonmonotonic Description Logics - Requirements, Theory, and Implementations / Bonatti, PIERO ANDREA. - (2007). ( Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007 Aix en Provence, France July 3-6, 2007).
Nonmonotonic Description Logics - Requirements, Theory, and Implementations
BONATTI, PIERO ANDREA
2007
File in 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.


