Computational and experimental group theory : AMS-ASL joint special session, interactions between logic, group theory and computer science, January 15-16, 2003, Baltimore, Maryland /

• Other Authors: Borovik, Alexandre V. (επιμελητής.), Myasnikov, Alexei G. (επιμελητής.)
• Format: Book
• Language: English
• Published: Providence, Rhode Island : American Mathematical Society, 2004.
• Series: Contemporary mathematics (American Mathematical Society) ; 349
• Subjects: Ομάδες, Θεωρία των