Ph.D. in Mathematics and Computer Science, University of Catania.
-
University of Catania
- Catania
- http://www.dmi.unict.it/santamaria/
Popular repositories Loading
-
-
DL4xD-Reasoner
DL4xD-Reasoner PublicA Reasoner for DL4xD via the set-theoretic fragment 4LQS^R
C++ 1
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.