ed mir - trajtenbort - los algoritmos e la resolucion automatica de problemas.pdf