R SlagleJames

发表

Experiments in automatic learning for a multipurpose hueristic program

R SlagleJames, D FarrellCarl, 1971 .

An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions

R SlagleJames, 1964 .

Experiments with the M & N tree-searching program

R SlagleJames, K DixonJohn, 1970 .

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

R SlagleJames, 1974 .

Experiment with an automatic theorem-prover having partial ordering inference rules

R SlagleJames, M NortonLewis, 1973 .

A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

R SlagleJames, 1963 .

Experiments With Some Programs That Search Game Trees

R SlagleJames, E DixonJohn, 1969 .

Experiments with a deductive question-answering program

R SlagleJames, 1965 .

Interpolation Theorems for Resolution in Lower Predicate Calculus

R SlagleJames, 1970 .