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
Categories
:
Researchers
Employees of Research Center for Verification and Semantics, AIST
Members
Views
Page
Discussion
View source
History
Personal tools
Log in / create account
Navigation
Main Page
Current events
Recent changes
Random page
Help
Members
Search
Toolbox
What links here
Related changes
Special pages
Printable version
Permanent link