Takashi Omi

According to our database, Takashi Omi authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

A General-Purpose Forward Deduction Engine for Modal Logics.

Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005