Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Algorismes computacionals Automatic theorem proving CSP (Computer program language) CSP (Llenguatge de programació) Constraint programming (Computer science) Lògica matemà tica Programació per restriccions (Informà tica)
Manyà , Felip Bofill Arasa, Miquel Palahà i Sitges, Miquel Suy Franch, Josep Ministerio de EconomÃa y Competitividad (Espanya) Villaret i Ausellé, Mateu Ministerio de Educación y Ciencia (Espanya)