Takahiro Koh

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Yuichi Goto, Takahiro Koh, Jingde Cheng
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) (2008)
Takahiro Koh, Yuichi Goto, Jingde Cheng
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) (2008)
Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. KES (2) (2007)
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
The Theory Grid and Grid Theorists. SKG (2006)