TY - BOOK AU - Borovik Alexandre V ed. ED - AMS-ASL Joint Special Session Interactions Between Logic, Group Theory and Computer Science ED - AMS-ASL joint special session Interactions between logic, group theory and computer science TI - Computational and experimental group theory: proceedings SN - 0-8218-3483-5 U1 - 510 PY - 2004/// CY - Providence PB - AMS KW - Non-Abelian groups KW - Permutation groups KW - Quantum theory ER -