/
プログラム
/
発表一覧
/
著者一覧
/
JSAI2005 ホーム
尹 淑萍
名前
尹 淑萍
ふり仮名
いん しゅくへい
所属
九州工業大学大学院情報工学研究科
発表リスト
6月15日(水) 12:00〜12:20 F会場
題目
1F2-04 自動類推証明のための射影ラベル付けに基づく効率的スキーママッチング
著者
山田 敬三
尹 淑萍
原尾 政輝
平田 耕一
論文
PDFファイル
/
プログラム
/
発表一覧
/
著者一覧
/
JSAI2005 ホーム