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