Wen-Tsun Wu

List of publications from the DBLP Bibliography Server - FAQ

2006

1 EE Wen-Tsun Wu, Xiao-Shan Gao: Automated Reasoning and Equation Solving with the Characteristic Set Method. J. Comput. Sci. Technol. 21(5): 756-764 (2006)

2006
1	EE	Wen-Tsun Wu, Xiao-Shan Gao: Automated Reasoning and Equation Solving with the Characteristic Set Method. J. Comput. Sci. Technol. 21(5): 756-764 (2006)

Coauthor Index