Acknowledgments Wu Wen-Tsun. On the decision problem and the mechanization of theorem proving in elementary geometry. Reprinted from .SCientia. Si.nica 21 (2), 1978, with permission of the author. Douglas Lenat. Automated theory formation in mathematics. Adopted from the article of the same title in the Proceedings of the International Joint Conference on Artificial Intelligence, August, 1977, with the permission of the International Joint Conferences on Artificial Intelligence, Inc. Copies of the proceedings are avail- able from William Kaufmann, Inc., 95 First Street, Los Altos, CA 94022, USA. ix
Previous Page Next Page