Date

1968

Document Type

Thesis

Degree

Master of Science

Department

Computer Science

First Adviser

Haynes, Thomas M.

Abstract

In 1956 A. Newell and H.A. Simon (with the aid of J.C. Shaw) published the first paper on the Logic Theory Machine (L.T.). In effect, L.T. was a computer program that proved theorems in propositional logic.

Share

COinS