Llistar TÃtols
S'han trobat 54 Ãtems
Llistant Ãtems des de 50 a 54:
S'han trobat 54 Ãtems
Llistant Ãtems des de 50 a 54:
CSP (Llenguatge de programació) Satisfiability modulo theories Artificial intelligence -- Congresses Computer game -- Programming Planificación numérica Satisfactibilidad booleana Satisfactibilitat booleana
Bofill Arasa, Miquel Suy Franch, Josep Ansótegui, Carlos Ministerio de Educación y Ciencia (Espanya) Coll Caballero, Jordi Espasa, Joan Ulrich-Oltean, Felix