Index of /teaching/lsi/slides

	Name	Last modified	Size	Description
	Parent Directory		-
	0-introduzione-al-corso.pdf	29-Sep-2010 12:46	37K
	1-logica/	22-Nov-2010 11:30	-
	2-prolog/	19-May-2011 12:24	-
	3-golog/	16-Apr-2012 21:09	-
	4-verifica/	05-Oct-2010 13:24	-