LEADER 01457nam a2200337 i 4500 001 991001409849707536 008 060110s2005 riu b 100 0 eng d 020 $a0821836188 035 $ab13368163-39ule_inst 040 $aDip.to Matematica$beng 082 0 $a512.2$222 084 $aAMS 20B40 084 $aAMS 20E05 084 $aAMS 20F28 084 $aLC QA174.A64 111 2 $aAMS-ASL Joint special session on Interactions between logic, group theory, and computer science$d<2003 ;$cBaltimore, Maryland>$0623142 245 10$aGroups, languages, algorithms :$bAMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland /$cAlexandre V. Borovik, editor 260 $aProvidence, R. I. :$bAmerican Mathematical Society,$cc2005 300 $aviii, 348 p. :$bill. ;$c26 cm 440 0$aContemporary mathematics,$x0271-4132 ;$v378 504 $aIncludes bibliographical references 650 0$aGroup theory$vCongresses 650 0$aFinite groups$vCongresses 650 0$aInfinite groups$vCongresses 700 1 $aBorovik, Alexandre 907 $a.b13368163$b16-11-06$c10-01-06 912 $a991001409849707536 945 $aLE013 20B BOR11 (2005)$g1$i2013000201801$lle013$op$pE76.56$q-$rl$s- $t0$u0$v0$w0$x0$y.i14209123$z21-03-06 996 $aGroups, languages, algorithms$91094528 997 $aUNISALENTO 998 $ale013$b10-01-06$cm$da $e-$feng$griu$h0$i0