DUGi

Planificación automática Numeric planning Satisfiability modulo theories Lògica aplicada 004 - Informàtica Planificació automàtica SMT

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