Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 |
| Autore | AMS-ASL joint special session interaction between logic, group theory and computer science : 2003 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2004 |
| Descrizione fisica | VIII, 224 p. ; 26 cm. |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
Symbolic computation and algebraic computation [MSC 2010] 68W30 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN | 8-0-8218-3483-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053180 |
AMS-ASL joint special session interaction between logic, group theory and computer science : 2003
|
||
| Providence, : American Mathematical Society, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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
| 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 |
| Autore | AMS-ASL joint special session interaction between logic, group theory and computer science : 2003 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2004 |
| Descrizione fisica | VIII, 224 p. ; 26 cm |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-08-218-3483-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053180 |
|
AMS-ASL joint special session interaction between logic, group theory and computer science : 2003
|
||
| Providence, : American Mathematical Society, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Groups of finite Morley rank / Alexandre Borovik and Ali Nesin
| Groups of finite Morley rank / Alexandre Borovik and Ali Nesin |
| Autore | Borovik, Alexandre |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1994 |
| Descrizione fisica | XI, 409 p. ; 24 cm. |
| Altri autori (Persone) | Nesin, Ali |
| Soggetto topico |
20Bxx - Permutation groups [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| ISBN | 01-985344-5-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0029497 |
|
Borovik, Alexandre
|
||
| Oxford, : Clarendon, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Groups of finite Morley rank / Alexandre Borovik and Ali Nesin
| Groups of finite Morley rank / Alexandre Borovik and Ali Nesin |
| Autore | Borovik, Alexandre |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1994 |
| Descrizione fisica | XI, 409 p. ; 24 cm |
| Altri autori (Persone) | Nesin, Ali |
| Soggetto topico |
20Bxx - Permutation groups [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| ISBN | 01-985344-5-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0029497 |
|
Borovik, Alexandre
|
||
| Oxford, : Clarendon, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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
| 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 |
| Autore | AMS-ASL Joint special session on Interactions between logic, group theory, and computer science <2003 ; Baltimore, Maryland> |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2005 |
| Descrizione fisica | viii, 348 p. : ill. ; 26 cm |
| Disciplina | 512.2 |
| Altri autori (Persone) | Borovik, Alexandre |
| Collana | Contemporary mathematics, 0271-4132 ; 378 |
| Soggetto topico |
Group theory - Congresses
Finite groups - Congresses Infinite groups - Congresses |
| ISBN | 0821836188 |
| Classificazione |
AMS 20B40
AMS 20E05 AMS 20F28 LC QA174.A64 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001409849707536 |
|
AMS-ASL Joint special session on Interactions between logic, group theory, and computer science <2003 ; Baltimore, Maryland>
|
||
| Providence, R. I. : American Mathematical Society, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||