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