Login / Signup
Jun Sakoh
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Theorem Prover
Complex Systems
Natural Language
Email
Top Venues
ICIS
</>
Publications
</>
Jun Sakoh
,
Noriaki Yoshimasa
,
Yoshinobu Kawabe
Automated proof for equivalence of telephone systems.
ICIS
(2013)