LEADER 02130nam0 2200385 i 450 
001 SUN0051333
005 20180604015637.115
010   $a978-05-214-3213-9$d0.00
100   $a20060906d1994       |0engc50      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$1001SUN0023636$12001 $aEncyclopedia of mathematics and its applications$v48$1210  $aCambridge$cCambridge university$d1976-.
606   $a20-XX$xGroup theory and generalizations [MSC 2020]$2MF$3SUNC019715
606   $a68W30$xSymbolic computation and algebraic computation [MSC 2020]$2MF$3SUNC019771
606   $a20F10$xWord problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020]$2MF$3SUNC021294
606   $a68Q45$xFormal languages and automata [MSC 2020]$2MF$3SUNC021434
606   $a68Q42$xGrammars and rewriting systems [MSC 2020]$2MF$3SUNC023780
606   $a20F05$xGenerators, relations, and presentations of groups [MSC 2020]$2MF$3SUNC023858
606   $a20F19$xGeneralizations of solvable and nilpotent groups [MSC 2020]$2MF$3SUNC024029
606   $a20F18$xNilpotent groups [MSC 2020]$2MF$3SUNC024032
606   $a20F16$xSolvable groups, supersolvable groups [MSC 2020]$2MF$3SUNC024557
606   $a20D15$xNilpotent groups, $p$-groups [MSC 2020]$2MF$3SUNC029088
620   $dCambridge$3SUNL000024
700  1$aSims$b, Charles C.$3SUNV040304$0534958
712   $aCambridge university$3SUNV000097$4650
801   $aIT$bSOL$c20201019$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
912   $aSUN0051333
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     20-XX                   4070        $e08   1947      I       20060906            
996   $aComputation with finitely presented groups$9911297
997   $aUNICAMPANIA