Logica clausolare per la risoluzione dei problemi
Section outline
-
11 maggio 2016, aula 5C edificio H2bis h 16-18
-
(Per una versione piu` compatta---quindi piu` facile da stampare---di questi lucidi, vedere nella cartella Dopbox condivisa. Il nome del PDF compattato reca il suffisso FLAT)
-