Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica Programació de tasques Pseudo-Boolean constraints Restricciones pseudo-booleanas Satisfacibilidad módulo teorias Satisfactibilitat mòdul teories Satisfiability modulo theories
Coll Caballero, Jordi Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Suy Franch, Josep Villaret i Ausellé, Mateu