the Logic Theorist program
E275782
UNEXPLORED
The Logic Theorist program was an early artificial intelligence system developed in the 1950s that automatically proved theorems in symbolic logic and is often regarded as the first AI program.
Aliases (1)
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Allen Newell
("Logic Theorist")
→
|
coInventorOf |
|
Allen Newell
→
|
knownFor |