Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Lógica aplicada Automated planning Planificació numèrica Applied logic SMT 004 - Informà tica Satisfiability modulo theories
Bofill Arasa, Miquel Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Espasa Arxer, Joan Villaret i Ausellé, Mateu