|
Search the dblp DataBase
Takahiro Koh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
The Theory Grid and Grid Theorists. [Citation Graph (0, 0)][DBLP] SKG, 2006, pp:32- [Conf]
- Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. [Citation Graph (0, 0)][DBLP] KES (2), 2007, pp:840-851 [Conf]
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. [Citation Graph (, )][DBLP]
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|