7 results
Peter B. Andrews. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 367–381. (See Correction, ibid., p. 720.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
- Print publication:
- March 1970
-
- Article
- Export citation
Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 536–541.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
- Print publication:
- June 1967
-
- Article
- Export citation
Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- June 1967
-
- Article
- Export citation
J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 163–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-515
- Print publication:
- 02 September 1966
-
- Article
- Export citation
John Alan Robinson. On automatic deduction. Rice University studies, vol. 50 no. 1 (1964), pp. 69–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
- Print publication:
- 02 September 1966
-
- Article
- Export citation
J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 23–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-516
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Hierarchies over recursive well-orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-190
- Print publication:
- December 1964
-
- Article
- Export citation