33
/ru/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
August 1, 2025
427179
36814
2
Public Timelines
Public TimelinesFAQ
Public TimelinesFAQ
For educational institutions For teachers For students Cabinet
For educational institutions For teachers For students Open cabinet
Создать
Create a timeline
Public timelines
Library
FAQ

1 янв 1955 г. - Logic Theorist

Описание:

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

Добавлено на ленту времени:

History of Artificial Intelligence

ByCory Wusterbarth
12 дек 2017
0
0
729

Дата:

1 янв 1955 г.
Сейчас
~ 70 г назад
About & FeedbackСоглашениеПриватностьБиблиотекаFAQ
Support 24/7  
CabinetGet premium
Donate
The service accepts bank transfer (ACH, Wire) or cards (Visa, MasterCard, etc). Processed by Stripe.
Secured with SSL