/ プログラム / 発表一覧 / 著者一覧 / JSAI2005 ホーム

尹 淑萍

名前尹 淑萍
ふり仮名いん しゅくへい
所属九州工業大学大学院情報工学研究科

発表リスト

6月15日(水) 12:00〜12:20 F会場
題目 1F2-04 自動類推証明のための射影ラベル付けに基づく効率的スキーママッチング
著者 山田 敬三 尹 淑萍 原尾 政輝 平田 耕一 
論文 PDFファイル


/ プログラム / 発表一覧 / 著者一覧 / JSAI2005 ホーム