Login / Signup
Shizuo Yoshimaru
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Preprocessing
Binary Tree
Top Venues
SCSS
</>
Publications
</>
Kazuko Takahashi
,
Shizuo Yoshimaru
,
Mizuki Goto
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application.
SCSS
(2013)