DUGi

Planificació automàtica SMT 004 - Informàtica Numeric planning Satisfiability modulo theories Planificación numérica 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica

Bofill Arasa, Miquel Villaret i Ausellé, Mateu Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Espasa Arxer, Joan