29
/de/
de
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
April 1, 2024
427179
36814
2

1 Jan 1955 Jahr - Logic Theorist

Beschreibung:

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

Zugefügt zum Band der Zeit:

12 Dez 2017
0
0
453
History of Artificial Intelligence

Datum:

1 Jan 1955 Jahr
Jetzt
~ 69 years ago
PremiumAbout & FeedbackVereinbarungPrivatheit
logo
© 2022 Selected Technologies LLC – Morgan Hill, California