The following pages link to James R. Slagle (Q2549241):
Displaying 25 items.
- (Q1350655) (redirect page) (← links)
- An object-oriented knowledge-based approach for formulating applied general equilibrium models (Q1350657) (← links)
- Finding resolution proofs and using duplicate goals in AND/OR trees (Q2549243) (← links)
- Experiment with an automatic theorem-prover having partial ordering inference rules (Q3214440) (← links)
- (Q3311685) (← links)
- Automated theorem-proving for the theories of partial and total ordering (Q4050190) (← links)
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity (Q4050191) (← links)
- (Q4136605) (← links)
- Towards Automatic Auditing of Records (Q4166253) (← links)
- Experiments with some algorithms that find central solutions for pattern classification (Q4174796) (← links)
- Generalizations of a Complex Analogue of the Real Tchebichev Polynomial Theorem (Q5532697) (← links)
- Automatic Theorem Proving With Renamable and Semantic Resolution (Q5538933) (← links)
- Experiments With a Multipurpose, Theorem-Proving Heuristic Program (Q5542557) (← links)
- (Q5559273) (← links)
- Experiments with the M & N tree-searching program (Q5579350) (← links)
- Interpolation Theorems for Resolution in Lower Predicate Calculus (Q5596256) (← links)
- (Q5610102) (← links)
- Application of game tree searching techniques to sequential pattern recognition (Q5615058) (← links)
- Experiments in automatic learning for a multipurpose hueristic program (Q5617288) (← links)
- Experiments With Some Programs That Search Game Trees (Q5630563) (← links)
- Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets (Q5639371) (← links)
- An Approach for Finding <i>C</i> -Linear Complete Inference Systems (Q5659073) (← links)
- A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus (Q5720484) (← links)
- An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions (Q5736474) (← links)
- On an algorithm for minimum-cost procedures (Q5736475) (← links)
