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