Yimin Zhang

Publication Activity (10 Years)

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

Publications

Hai Lin, Jigui Sun, Yimin Zhang
Theorem Proving Based on the Extension Rule. J. Autom. Reason. 31 (1) (2003)