Declarative Semantics for Consistency Maintenance

Formato

Dipartimento di Elettronica, Informatica e Sistemistica, Dottorato di Ricerca in Ingegneria dei Sistemi e Informatica, Ciclo XX, a.a. 2007; Università della Calabria

Ingegneria dei sistemi; Semantica; Vincoli; Strumenti; Programmi di previsione

ING-INF/06;