Informatica

[greco2001]

Roberto S. Greco, FaCT (s) for UML – Translating UML Class Diagrams into SHIQ, to reason about them with FaCT, [tesi di laurea magistrale]. Aachen, NRW, D. RWTH Aachen, 2001. Senza ISBN.

Vedi recensione.