Kaoru Yocota

Publication Activity (10 Years)

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

Publications

Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi
A Logic Programming Approach to Specifying Logics and Constructing Proofs. ICLP (1990)