|
|
|
|
|
|
|
Computational and experimental group theory : [electronic resource] 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.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2004Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Groups, languages, algorithms : [electronic resource] 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.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2005Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|