for 1957
›
↑
↑
↑
H
?
for 1956
←
for 1957
→
1950s languages
↑
Early Cold War
↑
Second generation
↑
Explore languages searching for category and for year 1957
LT
⊕
1957
↓
↑
⊕
Specialised Languages
⊕
Linear
⊕
United States
Logical Theorist - theorem proving system at RAND