أرسل هذا في رسالة قصيرة: On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups