Lewis M. Norton

Available identifiers

zbMath Open norton.lewis-mMaRDI QIDQ2551694

List of research outcomes

Publication	Date of Publication	Type
Logic-based configuration with a semantic network	1990-01-01	Paper
A note about Laplace transform tables for computer use	1980-01-01	Paper
Automated theorem-proving for the theories of partial and total ordering	1975-01-01	Paper
Experiment with an automatic theorem-prover having partial ordering inference rules	1973-01-01	Paper
Experiments with a heuristic theorem-proving program for predicate calculus with equality	1971-01-01	Paper

Research outcomes over time

This page was built for person: Lewis M. Norton