Empirical explorations of the geometry theorem machine
暂无分享,去创建一个
[1] J. C. Shaw,et al. Programming the logic theory machine , 1899, IRE-AIEE-ACM '57 (Western).
[2] Nathaniel Rochester,et al. Intelligent Behavior in Problem-Solving Machines , 1958, IBM J. Res. Dev..
[3] H. Gelernter,et al. A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine , 1959, Inf. Control..
[4] H. Gelernter,et al. Realization of a geometry theorem proving machine , 1995, IFIP Congress.
[5] H. Gelernter,et al. A FORTRAN-compiled list-processing language , 1959, ACM '59.
[6] Allen Newell,et al. Report on a general problem-solving program , 1959, IFIP Congress.
[7] Hao Wang,et al. Toward Mechanical Mathematics , 1960, IBM J. Res. Dev..
[8] Paul C. Gilmore,et al. A Proof Method for Quantification Theory: Its Justification and Realization , 1960, IBM J. Res. Dev..