|
オダ ヒデノリ
ODA HIDENORI
小田 秀典 所属 京都産業大学 経済学部 経済学科 職種 教授 |
|
| 発表年月日 | 2001/09 |
| 発表テーマ | Solving a Puzzle by Decidable Metatheory |
| 会議名 | 第10 回ALGI（代数，論理，幾何と情報科学）研究集会と日本数理科学協会 年会（論理数学分科会）の合同研究会 |
| 発表形式 | その他 |
| 開催地名 | 大阪教育大学天王寺キャンパス. |
| 開催期間 | 2001/09/06～2001/09/07 |
| 発表者・共同発表者 | 八杉満利子,小田宗兵衛 |