THE FORTRAN DEDUCTIVE SYSTEM
暂无分享，去创建一个
Abstract : A Fortran Program to solve generalized algebra type problems has been developed. It is a heuristic program, designed to give rapid solutions for problems which it can solve. The program accepts as input a definition of an algebraic system, then solves problems in the system. The program's operation is described here in general terms and examples of its operation are given.
[1] David P. Kennedy. Programming and utilization of digital computers: R.S. Ledley: McGraw-Hill, New York, (1963) 568 pp., $12.50 , 1963 .
[2] J. Ross Quinlan,et al. A Formal Deductive Problem-Solving System , 1968, J. ACM.
[3] A NEWELL,et al. Computer simulation of human thinking. , 1961, Science.
[4] R S LEDLEY,et al. HIGH-SPEED AUTOMATIC ANALYSIS OF BIOMEDICAL PICTURES. , 1964, Science.