4 works on record
Intelligent Computer Mathematics
Automated Deduction – CADE 26
Formal Methods : Foundations and Applications
Hacer Frente a la Violencia Escolar
