Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Applied logic Satisfiability modulo theories SMT Planificació numèrica 004 - Informà tica Lògica aplicada Planificació automà tica
Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Espasa Arxer, Joan Villaret i Ausellé, Mateu Bofill Arasa, Miquel