Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem

Teoremes -- Demostració automà tica Constraint programming (Computer science) CSP (Computer program language) Logic, Symbolic and mathematical Automatic theorem proving Programació per restriccions (Informà tica) Computer algorithms

Ansótegui, Carlos Bofill Arasa, Miquel Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca Manyà , Felip Ministerio de EconomÃa y Competitividad (Espanya) Ministerio de Educación y Ciencia (Espanya) Palahà i Sitges, Miquel