Gelertner, H., Realization of a geometry theorem-proving machine, Proc. Int. Conf. on Information Processing, Unesco, Paris (1959)
(1959)
Languages mentioned
FLPL
{1958} FORTRAN List Processing Language