Computational And Experimental Group Theory: Ams-asl Joint Special Session, Interactions Between Logic, Group Theory, And Computer Science, January ... Maryland (Contemporary Mathematics)