20 Dez 1960 Jahr - 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).
Beschreibung:
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.
Zugefügt zum Band der Zeit:
Datum:
Abbildungen: