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.
- Providence, R.I.: American Mathematical Society, c2004.
- viii, 224 p.: ill.; 26 cm.
- Contemporary mathematics; 349. 0271-4132 .
- Contemporary mathematics (American Mathematical Society); v. 349. .