1958 ⟶ A theorem prover in geometry

Herbert Gelernter and Nathan Rochester (IBM) described a the...
Timelines Logo
Year
1958

A theorem prover in geometry

Herbert Gelernter and Nathan Rochester (IBM) described a theorem prover in Geometry. It exploited a semantic model of the domain in the form of diagrams of "typical" cases.⟶
A theorem prover in geometry (1958)