Risultati ricerca pubblicazioni
pubblicato su: Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms - 2020
Becchetti L., Clementi A., Natale E., Pasquale F., Trevisan L.
pubblicato su: Description Logic, Theory Combination, and All That - 2019
Calvanese D., De Giacomo G., Lembo D., Lenzerini M., Rosati R.