1: \begin{abstract}

2: We show that the isomorphism problem is solvable in the class of

3: central extensions of word-hyperbolic groups, and that the

4: isomorphism problem for biautomatic groups reduces to that for

5: biautomatic groups with finite centre. We describe an algorithm

6: that, given an arbitrary finite presentation of an automatic

7: group $\Gamma$, will construct explicit finite models for the skeleta 

8: of $K(\Gamma,1)$ and hence compute the integral homology and cohomology of $\Gamma$.

9: \end{abstract}

10: