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

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

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