Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Constraint programming 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica Boolean satisfiability Metaconstraints Reformulació Satisfactibilitat booleana Satisfactibilitat mòdul teories
Bofill Arasa, Miquel Palahà i Sitges, Miquel Suy Franch, Josep Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Universitat de Girona. Departament d’Informà tica i Matemà tica Aplicada Villaret i Ausellé, Mateu