LEADER 01306nam0-2200385---450- 001 990008255050403321 005 20100705123452.0 010 $a0-8218-3618-8 035 $a000825505 035 $aFED01000825505 035 $a(Aleph)000825505FED01 035 $a000825505 100 $a20060112d2005----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa---a---101yy 200 1 $aGroups languages algorithms$eAms-Asl Joint special session on interactions between logic, group theory, and computer science - January 16-19, 2003 Baltimore, Maryland$fA. V. Borovik, editor 210 $aProvidence$cAmerican mathematical society$dc2005 215 $aviii, 348 p.$d24 cm 225 1 $aContemporary mathematics$v378 610 0 $aTeoria dei gruppi$aCongressi 610 0 $aGruppi finiti$acongressi 676 $a512.2$v22 702 1$aBorovik,$bAlexandre V. 710 12$aAMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science$fJanuary 16-19,2003$eBaltimora$0499438 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008255050403321 952 $aC-1-(378$b21200$fMA1 959 $aMA1 962 $a20B40 962 $a20E05 962 $a81P68 996 $aGroups languages algorithms$9743288 997 $aUNINA