Locane,AntonioSaccà,DomenicoManco,GiuseppeTalia,Domenico2014-03-052014-03-052014-03-05http://hdl.handle.net/10955/411Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXI Ciclo, 2008enIngegneria dei sistemiEstrazione datiStruttura formaleModelling complex data mining applications in a formal frameworkThesis