01895nam0 2200337 i 450 VAN0005318020240806100502.619978-08-218-3483-120060925d2004 |0itac50 baengUS|||| |||||Computational and experimental group theoryAMS-ASL joint special session interactions between logic, group theory and computer sciencejanuary 15-16, 2003, Baltimore, MarylandAlexandre V. Borovik, Alexei G. Myasnikov editorsProvidenceAmerican Mathematical Society2004VIII, 224 p.26 cm001VAN000431842001 Contemporary mathematics210 ProvidenceAmerican Mathematical Society34900B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF20-XXGroup theory and generalizations [MSC 2020]VANC019715MF68W30Symbolic computation and algebraic computation [MSC 2020]VANC019771MFUSProvidenceVANL000273BorovikAlexandreVANV024380MyasnikovAlexei G.VANV041959AMS-ASL joint special session interaction between logic, group theory and computer science2003Baltimore, UsaVANV041958726212American mathematical societyVANV108732650ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Borovik, Myasnikov - Computational and experimental group theory.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00053180BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 20-XX 0510 08 6669 I 20060925 Computational and experimental group theory1426935UNICAMPANIA