TY - BOOK AU - Sims Charles C TI - Computation with finitely presented groups SN - 0-521-43213-8 U1 - 512.2 PY - 1994/// CY - Cambridge PB - CUP KW - Combinatorial group theory KW - Data processing KW - Finite groups KW - Group theory ER -