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