Shunsuke Yatabe

From Mathfuzzlog

Jump to: navigation, search

Researcher

Name:	Shunsuke Yatabe
Affiliation(s):	Research Center for Verification and Semantics, AIST
Publications by Shunsuke Yatabe
Students of Shunsuke Yatabe
Shunsuke Yatabe's web page

Retrieved from "http://www.mathfuzzlog.org/index.php/Shunsuke_Yatabe"

Categories: Researchers | Employees of Research Center for Verification and Semantics, AIST | Members

Views

Personal tools

Log in

Search

Toolbox