TY - BOOK AU - Sims, Charles C TI - Computation with finitely presented groups T2 - Encyclopedia of mathematics and its applications SN - 9780521135078 U1 - 512.2 PY - 1994/// CY - U.K. PB - Cambridge Univ. Press KW - Group theory- data processing KW - Finite groups- data processing KW - Combinatorial group theory- data processing ER -