Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
51 - Matemà tiques Metaconstraints Programació amb restriccions Programación con restricciones Reformulació Reformulation Satisfactibilitat mòdul teories
Bofill Arasa, Miquel Universitat de Girona. Departament d’Informà tica i Matemà tica Aplicada Villaret i Ausellé, Mateu Suy Franch, Josep