Country
The case for case
See also: The Case for Case Reopened. In Syntax and Semantics, Vol. 8, Academic Press, 1977In E. Bach and R. Harms (Eds.), Universals in linguistic theory. New York: Holt, Rinehart, and Winston, 1-88
Paramodulation and set of support
In Proc. IRIA Symposium on Automatic Demonstration, pp. 276–310.
Semantics for a Question-Answering System
PhD. dissertation, Harvard University, August 1967. Reprinted as a volume in the series Outstanding Dissertations in the Computer Sciences, New York: Garland Publishing, 1979
An approach to heuristic problem-solving and theorem proving in the propositional calculus
In Hart, J. and Takasu, S. (Eds.), Systems and Computer Science. University of Toronto Press
Some theorem-proving strategies based on the resolution principle
In Dale, Ella and Donald Michie (Eds.), Machine Intelligence 2. Edinburgh University Press.
Cognitive processes in solving algebra word problems
In B. Kleinmuntz (Ed.), Problem solving. New York: Wiley, 51-119.
Efficiency and completeness of the set-of-support strategy in theorem proving
Wos, L. | Carson, D. | Robinson, G.
Get Citation Alerts New Citation Alert added!
Learning Machines: Foundations of Trainable Pattern-Classifying Systems
Republished as The Mathematical Foundations of Learning Machines, San Francisco: Morgan Kaufmann Publishers, 1990McGraw-Hill. Republished in 1990.
A Man-Machine Facial Recognition System: Some Preliminary Results
Technical Report PRI 19A, Panoramic Research, Inc, Palo Alto, CA, 1965