20 dic 1960 anni - En 1960 Herbert Gelernter creó una máquina con capacidad para deducir teoremas de la geometría euclídea elemental, la Geometry Theorem Prover (GTP).
Descrizione:
En 1960 Herbert Gelernter creó una máquina con capacidad para deducir teoremas de la geometría euclídea elemental, la Geometry Theorem Prover (GTP), esto es, la Demostradora de Teoremas de Geometría.Aggiunto al nastro di tempo:
Data:
20 dic 1960 anni
Adesso
~ 63 years ago
