Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
51 - Matemà tiques Constraint programming Programació amb restriccions Reformulación Reformulation Satisfactibilidad módulo teorias Satisfiability modulo theories
Bofill Arasa, Miquel Universitat de Girona. Departament d’Informà tica i Matemà tica Aplicada Villaret i Ausellé, Mateu Suy Franch, Josep