Tutti i documenti taggati con labelled theories

• Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans