Zhang Yimin Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2003

1 EE Lin Hai, Jigui Sun, Zhang Yimin: Theorem Proving Based on the Extension Rule. J. Autom. Reasoning 31(1): 11-21 (2003)

*	2003
1	EE	Lin Hai, Jigui Sun, Zhang Yimin: Theorem Proving Based on the Extension Rule. J. Autom. Reasoning 31(1): 11-21 (2003)

Coauthor Index