株式会社極東書店トップ ＞ 商品一覧 ＞ Groups, Languages, Algorithms : AMS-ASL Joint Special Session on Interactions Between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland.
商品詳細
Groups, Languages, Algorithms : AMS-ASL Joint Special Session on Interactions Between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland.
・ISBN 978-0-8218-3618-7 paper US$ 130.00
￥30,459.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| シリーズ | Contemporary Mathematics |
|---|---|
| 出版社 | (American Mathematical Society, US) |
| 出版年月 | 2005 |
| 言語 | ENG |
| ニュース番号 | ＜M25-13173＞ |
解説
Since the pioneering works of Novikov and Maltsev, group theory has been a testing ground for mathematical logic in its many manifestations, from the theory of algorithms to model theory. The interaction between logic and group theory led to many prominent results which enriched both disciplines. This volume reflects the major themes of the American Mathematical Society/Association for Symbolic Logic Joint Special Session (Baltimore, MD), Interactions between Logic, Group Theory and Computer Science. Included are papers devoted to the development of techniques used for the interaction of group theory and logic. It is suitable for graduate students and researchers interested in algorithmic and combinatorial group theory. A complement to this work is Volume 349 in the ""AMS"" series, ""Contemporary Mathematics, Computational and Experimental Group Theory"", which arose from the same meeting and concentrates on the interaction of group theory and computer science.