Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!decvax!ittatc!dcdwest!sdcsvax!ucbvax!MC.LCS.MIT.EDU!FTD%MIT-OZ
From: FTD%MIT-OZ@MC.LCS.MIT.EDU ("David D. Story")
Newsgroups: mod.ai
Subject: Need Ref for "Automated Mathematician" by Doug Lenat
Message-ID: <GZT.TDF.12210461283.BABYL@MIT-OZ>
Date: Thu, 29-May-86 01:07:00 EDT
Article-I.D.: MIT-OZ.GZT.TDF.12210461283.BABYL
Posted: Thu May 29 01:07:00 1986
Date-Received: Sat, 31-May-86 01:12:24 EDT
References: <Laws.at.SRI-AI.ARPA>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 16
Approved: ailist@sri-ai.arpa


		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.