Shinsuke Nara

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

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