 | 2008 |
|---|
| 4 |       | Takahiro Koh,
Yuichi Goto,
Jingde Cheng:
A Fast Duplication Checking Algorithm for Forward Reasoning Engines.
KES (2) 2008: 499-507 |
| 3 | | Yuichi Goto,
Takahiro Koh,
Jingde Cheng:
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.
KES (2) 2008: 526-535 |
| 2007 |
|---|
| 2 | | Jingde Cheng,
Yuichi Goto,
Shinsuke Nara,
Takahiro Koh:
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing.
KES (2) 2007: 840-851 |
| 2006 |
|---|
| 1 | | Jingde Cheng,
Shinsuke Nara,
Takahiro Koh,
Yuichi Goto:
The Theory Grid and Grid Theorists.
SKG 2006: 32 |
