Lewis M. Norton (norton-lm)

Beiträge zu Philosophie.ch

Bibliography

Norton, Lewis M. 1971. “Experiments with a Heuristic Theorem-Proving Program for Predicate Calculus with Equality.” Artificial Intelligence 2(3–4): 261–284.
Norton, Lewis M. 1983. “Automated Analysis of Instructional Text.” Artificial Intelligence 20(3): 307–344.