Computational and experimental group theory : AMS-ASL Joint Special Session, Interactions Between Logic, Group Theory and Computer Science, January 15-16, 2003, Baltimore, Maryland

＜図書＞
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
シリーズ	Contemporary mathematics ; 349
データ種別	図書
出版情報	Providence, R.I. : American Mathematical Society , c2004
本文言語	英語
大きさ	viii, 224 p. : ill. ; 26 cm
概要	Seven papers discuss the first attempts to develop an interaction between group theory and computer science similar to that between logic and group theory, which has led to many prominent results in b...th disciplines. They reflect a change of focus in algorithmic group theory from the decidability/undecidability type of results to complexity of algorithms; and the non-deterministic approach to computation on groups, which has begun to play a prominent role especially in the theory of black box groups. Not all of the papers were presented at the session. There is no index. Annotation ©2004 Book News, Inc., Portland, OR (booknews.com) 続きを見る
電子版へのリンク	https://hdl.handle.net/2324/6834536

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	SER/CM/349	2004		023212004001257		予約・取寄			予約・取寄

別書名	背表紙タイトル:Experimental group theory
一般注記	Includes bibliographical references
著者標目	Borovik, Alexandre Myasnikov, Alexei G. *AMS-ASL Joint Special Session, Interactions Between Logic, Group Theory and Computer Science (2003 : Baltimore, Maryland)
件　名	LCSH:Permutation groups -- Congresses 全ての件名で検索 LCSH:Non-Abelian groups -- Congresses 全ての件名で検索 LCSH:Quantum theory -- Mathematics -- Congresses 全ての件名で検索
分　類	LCC:QA175 DC22:512/.21
書誌ID	1001386104
ISBN	0821834835
NCID	BA67531878
巻冊次	ISBN:0821834835
登録日	2009.11.02
更新日	2017.02.18