Ken-ichiro Shii

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Susumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii
Towards the animation of proofs - testing proofs by examples. Theor. Comput. Sci. 272 (1-2) (2002)