Works by David Luckham

( view other items matching `David Luckham`, view all matches )
14 found
Order:
  1.  5
    Extracting information from resolution proof trees.David Luckham & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (1):27-54.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  8
    Hierarchies over recursive well-orderings.Herbert Enderton & David Luckham - 1964 - Journal of Symbolic Logic 29 (4):183-190.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  18
    John Alan Robinson. On automatic deduction. Rice University studies, vol. 50 no. 1 , pp. 69–89.David Luckham - 1966 - Journal of Symbolic Logic 31 (3):516-516.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  13
    On Automatic Deduction.David Luckham & John Alan Robinson - 1966 - Journal of Symbolic Logic 31 (3):516.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Peter B. Andrews. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 , pp. 367–381.David Luckham - 1970 - Journal of Symbolic Logic 35 (1):159-160.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  19
    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. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    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 , pp. 536–541. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-118.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Review: J. A. Robinson, Theorem-Proving on the Computer. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):514-515.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  10
    Review: J. A. Robinson, A Machine-Oriented Logic based on the Resolution Principle. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):515-516.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  18
    J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, vol. 12 , pp. 23–41. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):515-516.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  12
    J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 , pp. 163–174. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):514-515.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Review: Lawrence Wos, George A. Robinson, Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-118.
     
    Export citation  
     
    Bookmark  
  13. Review: Lawrence Wos, Daniel Carson, George Robinson, The Unit Preference Strategy in Theorem Proving. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-117.
     
    Export citation  
     
    Bookmark  
  14.  11
    Review: Peter B. Andrews, Resolution with Merging. [REVIEW]David Luckham - 1970 - Journal of Symbolic Logic 35 (1):159-160.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark