Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Planificación numérica Planificació numèrica Applied logic Automated planning 004 - Informà tica Satisfiability modulo theories 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