Ítem
Pujadó, Judit | |
2015 | |
application/pdf | |
http://www.raco.cat/index.php/RevistaGirona/article/view/280077 | |
cat | |
Universitat de Girona | |
Dossier - 300 anys després. La Guerra de Successió | |
info:eu-repo/semantics/article | |
RACO |
Pujadó, Judit | |
2015 | |
application/pdf | |
http://www.raco.cat/index.php/RevistaGirona/article/view/280077 | |
cat | |
Universitat de Girona | |
Dossier - 300 anys després. La Guerra de Successió | |
info:eu-repo/semantics/article | |
RACO |
Scheduling Satisfactibilitat mòdul teories Satisfacibilidad módulo teorias Restriccions pseudo-Booleanes 004 - Informàtica Satisfiability modulo theories 51 - Matemàtiques
Coll Caballero, Jordi Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Villaret i Ausellé, Mateu Suy Franch, Josep