Takahiro Koh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2007–2008
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | KES | A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. | Yuichi Goto, Takahiro Koh, Jingde Cheng |
| 2008 | KES | A Fast Duplication Checking Algorithm for Forward Reasoning Engines. | Takahiro Koh, Yuichi Goto, Jingde Cheng |
| 2007 | KES | A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. | Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh |