Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
51 - Matemà tiques Algorismes computacionals Artificial intelligence Programación de tareas Restricciones pseudo-booleanas Restriccions pseudo-Booleanes Satisfiability modulo theories
Villaret i Ausellé, Mateu Pérez Sánchez, David Villaret Auselle, Mateu Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Nightingale, Peter Universitat de Girona. Escola Politècnica Superior Suy Franch, Josep