01306nam0-2200385---450-99000825505040332120100705123452.00-8218-3618-8000825505FED01000825505(Aleph)000825505FED0100082550520060112d2005----km-y0itay50------baengUSa---a---101yyGroups languages algorithmsAms-Asl Joint special session on interactions between logic, group theory, and computer science - January 16-19, 2003 Baltimore, MarylandA. V. Borovik, editorProvidenceAmerican mathematical societyc2005viii, 348 p.24 cmContemporary mathematics378Teoria dei gruppiCongressiGruppi finiticongressi512.222Borovik,Alexandre V.AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer ScienceJanuary 16-19,2003Baltimora499438ITUNINARICAUNIMARCBK990008255050403321C-1-(37821200MA1MA120B4020E0581P68Groups languages algorithms743288UNINA