Reported are the findings of the Uspekhi experiment in creating a labeled machine file, as well as sample products of this system - an article from a scientific journal and an index page. Production cost tables are presented for the machine file, primary journals, and journal indexes. Comparisons were made between the 1965 predicted costs and the…

Some of the major results of future goals of an automatic program synthesis project are described in the two papers that comprise this document. The first paper gives a detailed algorithm for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of…

Science education can be enhanced by facilitating student interactive access to scientific data bases. The main objective of the Science and Technology Information Transfer for Education (STITE) project was to study man-machine mechanisms for improving the transfer of science information from its present repositories into science learning systems,…