Toshio Ohyanagi

An Algorithm for β Clause Satisfiability Problem in Propositional Logic

Masahito Yamamoto, Azuma Ohuchi, Toshio Ohyanagi, 1994 .

A solution for measuring accurate reaction time to visual stimuli realized with a programmable microcontroller

Toshio Ohyanagi, Yasuhito Sengoku, 2010, Behavior research methods.

Mobile ICT support for the continuum of care.

James Miller, Steve Sutphen, Albert Cook, 2009, Studies in health technology and informatics.

Theorem proving based on the partial instantiation technique

Masahito Yamamoto, Azuma Ohuchi, Toshio Ohyanagi, 1996 .