Schema della sezione

  • 11 maggio 2016, aula 5C edificio H2bis h 16-18

    • Clausole di Horn e linguaggi clausolari (lucidi) File PDF

      (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)