Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Programació amb restriccions Programación con restricciones Satisfactibilitat mòdul teories Reformulation 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica Tesis i dissertacions acadèmiques Satisfiability modulo theories
Bofill Arasa, Miquel Universitat de Girona. Departament d’Informà tica i Matemà tica Aplicada Villaret i Ausellé, Mateu Suy Franch, Josep