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.
Biblioteca e Mediateca Virtuale di Roberto S. Greco
Un bambino che legge, sarà un adulto che pensa. (Jerome S. Bruner)
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.