Dan Lynch (LYNCH@A.ISI.EDU)
Sun 13 Nov 88 13:49:43-EST
Dr. Doug Lenat did his thesis work on heuristic methods of proving simple
mathematical properties. Doug was not known for tackling easy problems.
Nor for shyness. And he was the most voracious user of PDP-10 cycles
in the '70s.
This archive was generated by hypermail 2.0b3 on Thu Mar 09 2000 - 14:44:30 GMT