査読有り 2014年 オートマタ群と箱玉系 加藤 毅 巻 B47 号 開始ページ 163 終了ページ 170 記述言語 英語 掲載種別 研究論文（研究会，シンポジウム資料等） エクスポート BibTeX RIS
