LEADER 02205nam0 2200397 i 450 001 VAN0051333 005 20231212044525.541 010 $a978-05-214-3213-9 100 $a20060906d1994 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aComputation with finitely presented groups$fCharles C. Sims 210 $aCambridge$cCambridge university$d1994 215 $aXIII, 604 p.$d24 cm 410 1$1001VAN0023636$12001 $aEncyclopedia of mathematics and its applications$1210 $aCambridge$cCambridge university$d1976-.$v48 606 $a20-XX$xGroup theory and generalizations [MSC 2020]$3VANC019715$2MF 606 $a68W30$xSymbolic computation and algebraic computation [MSC 2020]$3VANC019771$2MF 606 $a20F10$xWord problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020]$3VANC021294$2MF 606 $a68Q45$xFormal languages and automata [MSC 2020]$3VANC021434$2MF 606 $a68Q42$xGrammars and rewriting systems [MSC 2020]$3VANC023780$2MF 606 $a20F05$xGenerators, relations, and presentations of groups [MSC 2020]$3VANC023858$2MF 606 $a20F19$xGeneralizations of solvable and nilpotent groups [MSC 2020]$3VANC024029$2MF 606 $a20F18$xNilpotent groups [MSC 2020]$3VANC024032$2MF 606 $a20F16$xSolvable groups, supersolvable groups [MSC 2020]$3VANC024557$2MF 606 $a20D15$xNilpotent groups, $p$-groups [MSC 2020]$3VANC029088$2MF 620 $dCambridge$3VANL000024 700 1$aSims$bCharles C.$3VANV040304$0534958 712 $aCambridge university $3VANV107986$4650 801 $aIT$bSOL$c20231215$gRICA 856 4 $uhttps://books.google.it/books?id=k6joymrqQqMC&pg=PR5&dq=9780521432139&hl=it&sa=X&ved=0ahUKEwj567zm-bnbAhWRLVAKHW7tBcMQ6AEIJzAA#v=onepage&q&f=false$zContents 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0051333 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 20-XX 4070 $e08 1947 I 20060906 996 $aComputation with finitely presented groups$9911297 997 $aUNICAMPANIA