| 2007 |
|---|
| 5 | EE | Isao Takahashi,
Shinsuke Nara,
Yuichi Goto,
Jingde Cheng:
EPLAS: An Epistemic Programming Language for All Scientists.
International Conference on Computational Science (1) 2007: 406-413 |
| 4 | EE | Jingde Cheng,
Shinsuke Nara,
Yuichi Goto:
FreeEnCal: A Forward Reasoning Engine with General-Purpose.
KES (2) 2007: 444-452 |
| 3 | EE | 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 |
|---|
| 2 | EE | Jingde Cheng,
Shinsuke Nara,
Takahiro Koh,
Yuichi Goto:
The Theory Grid and Grid Theorists.
SKG 2006: 32 |
| 2005 |
|---|
| 1 | EE | Shinsuke Nara,
Takashi Omi,
Yuichi Goto,
Jingde Cheng:
A General-Purpose Forward Deduction Engine for Modal Logics.
KES (2) 2005: 739-745 |
