Gazing
Subtitle: identifying potentially useful inferences
By: Dave Plummer and Alan Bundy.
Contributors: Bundy, Alan, 1947-; University of Edinburgh. Department of Artificial Intelligence.
Series: DAI working paper -- no.160
Publisher: Department of Artificial Intelligence University of Edinburgh
Published: 1984
Place of publication: (Edinburgh)
Language: eng
Number of pages: 20
Subjects: Automatic theorem proving.