Automated Mathematician is one of the earliest successful discovery systems developed. It was developed by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.
... certain features in their players such as a digital output which could be used to extract a high-quality digital copy of the movie. Since the only hardware capable of ...