Index of /~degiacom/didattica/metodiformali/aa2008-09/materiale
Name Last modified Size Description
Parent Directory -
1-fol-cqs/ 03-Mar-2009 11:24 -
2-uml-fol/ 26-Mar-2009 15:16 -
3-uml-dls/ 31-Mar-2009 13:14 -
3.1-uml-dls-OWLDL-Protege-Pellet-Corona09/ 03-Apr-2009 15:51 -
4-query-answering-dls/ 23-Apr-2009 09:23 -
4.1-uml-dls-UML-DLliteA-QuOnto-Corona09/ 01-May-2009 08:44 -
5-pre-post-program-analisys/ 05-May-2009 19:02 -
6-modelchecking/ 28-May-2009 03:46 -
BriefHistoryOfLogic.pdf 03-Mar-2009 12:35 102K