Hai-Lin Zeng

Publication Activity (10 Years)

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

Publications

Liming Zhang, Hai-Lin Zeng, Fang Yang, Dantong Ouyang
Dynamic theorem proving algorithm for consistency-based diagnosis. Expert Syst. Appl. 38 (6) (2011)