18
/
en
AIzaSyCYaC8UkdPkQKLFUmpasLV5eC3M802CrcA
427179
36814
2

jan 1, 1955 - Logic Theorist

Description:

Program that proved 38 of the first 52 theorems in Pricipia Methematica

Added to timeline:

12 Dec 2017
0
0
143
History of Artificial Intelligence

Date:

jan 1, 1955
Now
~ 63 years ago
PayPal - The safer, easier way to pay online!logo
About & FeedbackTermsPrivacy