List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Logic-based configuration with a semantic network The Journal of Logic Programming | 1990-01-01 | Paper |
| A note about Laplace transform tables for computer use ACM SIGSAM Bulletin | 1980-01-01 | Paper |
| Automated theorem-proving for the theories of partial and total ordering The Computer Journal | 1975-01-01 | Paper |
| Experiment with an automatic theorem-prover having partial ordering inference rules Communications of the ACM | 1973-01-01 | Paper |
| Experiments with a heuristic theorem-proving program for predicate calculus with equality Artificial Intelligence | 1971-01-01 | Paper |
Research outcomes over time
This page was built for person: Lewis M. Norton
