閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
Chengcheng_Ji_abstract	pdf	15.8 KB	252	論文内容の要旨
Chengcheng_Ji_review	pdf	12.1 KB	206	審査の要旨

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権	open access
URI	https://hdl.handle.net/2115/74061
タイトル	Automated Lemma Generation and Multi-Context Schemes for Rewriting Induction [an abstract of dissertation and a summary of dissertation review]
	書換え帰納法のための補題自動生成と多重文脈スキーム [論文内容及び審査の要旨]
著者	著者名 季, 承成
言語	英語
	日本語
発行日	2019-03-25
出版者	Hokkaido University
学位授与機関	識別子 10101 機関名 北海道大学 Hokkaido University
学位授与番号	甲第13509号
学位名	博士(情報科学)
学位の審査委員	(主査) 教授 栗原 正仁, 教授 山本 雅人, 教授 川村 秀憲, 教授 小野 哲雄, 准教授 小山 聡
学位審査の研究科等	情報科学研究科(情報理工学専攻)
資源タイプ	博士論文
出版タイプ	Version of Record
権利情報	Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International
関連情報 (references)	HDL https://hdl.handle.net/2115/74065

ホームへ戻る