Index of /~degiacom/didattica/semingsoft/SIS06-07/materiale/1-query-congiuntive/riferimenti/Moshe Vardi's lectures on FOL evaluation

Icon  Name                                                                                Last modified      Size  Description
[DIR] Parent Directory                                                                                         -   
[   ] lec19.ps                                                                            04-May-2006 21:43  116K  
[   ] lec20.ps                                                                            04-May-2006 21:42  115K  
[   ] lec27.ps                                                                            04-May-2006 21:38  112K  
[   ] lec28.ps                                                                            04-May-2006 21:41  152K