The following pages link to Lewis M. Norton (Q2551694):
Displayed 5 items.
- Experiments with a heuristic theorem-proving program for predicate calculus with equality (Q2551695) (← links)
- Logic-based configuration with a semantic network (Q3198928) (← links)
- Experiment with an automatic theorem-prover having partial ordering inference rules (Q3214440) (← links)
- A note about Laplace transform tables for computer use (Q3883491) (← links)
- Automated theorem-proving for the theories of partial and total ordering (Q4050190) (← links)