Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Satisfiability modulo theories Constraint programming Reformulació Reformulación metarestricciones Programación de tareas Satisfacibilidad módulo teorias
Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Suy Franch, Josep Universitat de Girona. Departament d’Informà tica i Matemà tica Aplicada Bofill Arasa, Miquel Villaret i Ausellé, Mateu Coll Caballero, Jordi