[mod.ai] Need Ref for "Automated Mathematician" by Doug Lenat

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.