Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem

Planificació numèrica Planificació automà tica Satisfiability modulo theories Automated planning Lògica aplicada Numeric planning Lógica aplicada

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