1 ene 1955 año - Logic Theorist

Descripción:

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

Añadido al timeline:

12 dic 2017

0

0

460

History of Artificial Intelligence

fecha: