Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Satisfactibilitat mòdul teories Constraint programming Reformulación Satisfiability modulo theories Metarestriccions Tesis i dissertacions acadèmiques metarestricciones
Suy Franch, Josep Universitat de Girona. Departament d’Informà tica i Matemà tica Aplicada Bofill Arasa, Miquel Villaret i Ausellé, Mateu