02205nam0 2200397 i 450 VAN005133320231212044525.541978-05-214-3213-920060906d1994 |0itac50 baengGB|||| |||||Computation with finitely presented groupsCharles C. SimsCambridgeCambridge university1994XIII, 604 p.24 cm001VAN00236362001 Encyclopedia of mathematics and its applications210 CambridgeCambridge university1976-.4820-XXGroup theory and generalizations [MSC 2020]VANC019715MF68W30Symbolic computation and algebraic computation [MSC 2020]VANC019771MF20F10Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020]VANC021294MF68Q45Formal languages and automata [MSC 2020]VANC021434MF68Q42Grammars and rewriting systems [MSC 2020]VANC023780MF20F05Generators, relations, and presentations of groups [MSC 2020]VANC023858MF20F19Generalizations of solvable and nilpotent groups [MSC 2020]VANC024029MF20F18Nilpotent groups [MSC 2020]VANC024032MF20F16Solvable groups, supersolvable groups [MSC 2020]VANC024557MF20D15Nilpotent groups, $p$-groups [MSC 2020]VANC029088MFCambridgeVANL000024SimsCharles C.VANV040304534958Cambridge university <editore>VANV107986650ITSOL20231215RICAhttps://books.google.it/books?id=k6joymrqQqMC&pg=PR5&dq=9780521432139&hl=it&sa=X&ved=0ahUKEwj567zm-bnbAhWRLVAKHW7tBcMQ6AEIJzAA#v=onepage&q&f=falseContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0051333BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 20-XX 4070 08 1947 I 20060906 Computation with finitely presented groups911297UNICAMPANIA