Enviar aquest missatge de text: On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups