Computational and experimental group theory : AMS-ASL joint special session, interactions between logic, group theory, and computer science, January 15-16, 2003, Baltimore, Maryland / Alexandre V. Borovik, Alexei G. Myasnikov, editors.
Publication Info.
Providence, Rhode Island : American Mathematical Society, [2004]