A Non-heuristic Program for Proving Elementary Logical Theorems

   The paper discusses problems involved in designing a device capable of
distinguishing among speech events that are normally recognized as different 
by native speakers of a particular language. Parallels between these problems
and those of chemical analysis are pointed out.

CACM January, 1959

Dunham, B.
Fridshal, R.
Sward, G. L.

CA590102 ES March 17, 1982 10:10 AM

204	5	3194
3194	5	3194
3194	5	3194
3194	5	3194
3194	6	3194