Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
004 - Informà tica Pseudo-Boolean constraints 51 - Matemà tiques Restricciones pseudo-booleanas Satisfacibilidad módulo teorias Satisfactibilitat mòdul teories Scheduling
Coll Caballero, Jordi Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Suy Franch, Josep Villaret i Ausellé, Mateu