Author:
Fuxi Zhu,Ming Tian,Yanxiang He
Publisher
Springer Berlin Heidelberg
Reference3 articles.
1. Zhou, X.H., Dai, D.W., Mai, Z.W.: Introduction and Application to the Automation of Reasoning. Wuhan University Press, Wuhan (1987)
2. Wos, L., Henschen, L.: Automated theorem proving 1965-1970. In: Sickmann, J., Wrightson, G. (eds.) The Automation of Reasoning: Collected papers from 1957-1970, vol. 11.11, Springer, NY (1983)
3. Nilsson, N.: Principle of Artificial Intelligence. Tioga Publish Co., Palo Alto (1980)