大会名称 |
---|
2007年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2007 |
発行日 |
2007/8/22 |
セッション番号 |
7G |
セッション名 |
推論と学習 |
講演日 |
2007/09/07 |
講演場所(会議室等) |
G会場(21号館5階 2151教室) |
講演番号 |
LF-013 |
タイトル |
パターン情報ベースの命題論理式のための推論機の提案 |
著者名 |
須藤 明人, 坪山 学, 張 シンリ, 佐藤 彰洋, 長谷川 修, |
キーワード |
抄録 |
本文pdf |
PDF download (201KB) |