Results
|
1.
|
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. by
- Borovik, Alexandre
- Myasnikov, Alexei G, 1955-
Series: Contemporary mathematics (American Mathematical Society) ; v. 349.
Publication details: Providence, R.I.: American Mathematical Society, c2004
Availability: Items available for loan: Castorina (1).
Found in Open Library:
|
|
2.
|
|
|
3.
|
Groups, languages, algorithms: AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland/ Alexandre V. Borovik, editor. by
- AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003: Baltimore, Md.)
- Borovik, Alexandre
Series: Contemporary mathematics (American Mathematical Society) ; v. 378.
Publication details: Providence, R.I.: American Mathematical Society, c2005
Availability: Items available for loan: Castorina (1).
Found in Open Library:
|
|
4.
|
|