TY - BOOK AU - Encyclopedia of Mathematics and its applications AU - Sims, Charles C. ED - author. TI - Computation with finitely presented groups T2 - Encyclopedia of Mathematics and its applications U1 - 510.3 PY - 1994/// CY - Cambridge PB - Cambridge University Press ER -