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