| 大会名称 |
|---|
| 2003年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2003 |
| 発行日 |
| 2003/08/25 |
| セッション番号 |
| 2Q |
| セッション名 |
| 知識発見 |
| 講演日 |
| 2003/09/10 |
| 講演場所(会議室等) |
| A館3F A-317 |
| 講演番号 |
| G-018 |
| タイトル |
| 代数の自動証明を目的とした分散システム |
| 著者名 |
| 舩戸 正和, 仁木 直人, 鈴木 秀男, 小林 英恒, 村尾 裕一, 小野 陽子, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (100.4KB) |
| 大会名称 |
|---|
| 2003年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2003 |
| 発行日 |
| 2003/08/25 |
| セッション番号 |
| 2Q |
| セッション名 |
| 知識発見 |
| 講演日 |
| 2003/09/10 |
| 講演場所(会議室等) |
| A館3F A-317 |
| 講演番号 |
| G-018 |
| タイトル |
| 代数の自動証明を目的とした分散システム |
| 著者名 |
| 舩戸 正和, 仁木 直人, 鈴木 秀男, 小林 英恒, 村尾 裕一, 小野 陽子, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (100.4KB) |