Index of /~degiacom/didattica/metodiformali/aa2008-09/materiale

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