Categoria: Informatica

[greco2001] Roberto S. Greco, FaCT (s) for UML – Translating UML Class Diagrams into SHIQ, to reason about them with

Continua a leggere