01835nam0 2200325 i 450 SUN005318020160411104818.1308-0-8218-3483-10.0020060925d2004 |0engc50 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 cm.001SUN00431842001 Contemporary mathematics349210 ProvidenceAmerican Mathematical Society1980-.20-XXGroup theory and generalizations [MSC 2020]MFSUNC019715Symbolic computation and algebraic computation [MSC 2010] 68W30MFSUNC01977100B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]MFSUNC020732USProvidenceSUNL000273Borovik, AlexandreSUNV024380Myasnikov, Alexei G.SUNV041959AMS-ASL joint special session interaction between logic, group theory and computer science2003Baltimore, UsaSUNV041958726212American mathematical societySUNV001080650ITSOL20200727RICA/sebina/repository/catalogazione/documenti/Borovik, Myasnikov - Computational and experimental group theory.pdfContentsSUN0053180UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 20-XX 0510 08 6669 I 20060925 Computational and experimental group theory1426935UNICAMPANIA