Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
SMT 004 - Informà tica 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica Lògica aplicada Satisfiability modulo theories Lógica aplicada Automated planning
Villaret i Ausellé, Mateu Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Bofill Arasa, Miquel Espasa Arxer, Joan