Login / Signup
Yumi Wada
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Theorem Prover
Automated Deduction
Engineering Students
Database
Top Venues
ICMS
</>
Publications
</>
Yumi Wada
,
Takuya Matsuzaki
,
Akira Terui
,
Noriko H. Arai
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination.
ICMS
(2016)