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