FTD%MIT-OZ@MC.LCS.MIT.EDU ("David D. Story") (05/29/86)
Discussion of "Automated Mathematician" His thesis was in "Knowledge Based Systems on Artful Dumbness" - McGraw-Hill - 1982 ISBN 0-07-015557-7. Wrong again...Oh well, try this one. The price is 20 odd bucks. Sorry. I called it Artful Dumbness cause it had to rediscover primes. In fact it is quite a study - Does anyone have source? Working Papers are not referenced in the thesis so the searcher is on his own. I'm sure they must exist someplace. Nice bibliography in the back of the Thesis.