Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Information storage and retrieval systems -- Industries Boolean satisfiability Reformulación Reformulation Satisfiability modulo theories Tesis i dissertacions acadèmiques Decisió, Presa de -- Informà tica -- Congressos
Garcia Oliveras, Marc Ministerio de Educación y Ciencia (Espanya) Universitat de Girona. Departament d’Informà tica i Matemà tica Aplicada Coll Caballero, Jordi De Maria, Elisabetta Szeider, Stefan Verhaeghe, Hélène