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

山田 敬三

名前山田 敬三
ふり仮名やまだ けいぞう
所属九州工業大学情報工学部

発表リスト

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


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