21 found
Order:
Disambiguations
J. A. Robinson [21]J. Armitage Robinson [3]
  1. A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
  2. Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
     
    Export citation  
     
    Bookmark   22 citations  
  3. Hume's two definitions of "cause".J. A. Robinson - 1962 - Philosophical Quarterly 12 (47):162-171.
  4.  63
    Automatic Deduction with Hyper-Resolution.J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):189-190.
  5.  21
    Theorem-Proving on the Computer.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):514-515.
  6. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1: Logical Foundations.Dov M. Gabbay, C. J. Hogger & J. A. Robinson - 1995 - Studia Logica 55 (3):449-451.
  7.  15
    Computational Logic: Essays in Honor of Alan Robinson.Jean-Louis Lassez, G. Plotkin & J. A. Robinson - 1991 - MIT Press (MA).
    Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  51
    Meeting of the association for symbolic logic.J. A. Robinson & N. M. Martin - 1967 - Journal of Symbolic Logic 32 (3):430.
  9.  24
    (1 other version)Review: H. Gelernter, Theorem Proving by Machine; H. Gelernter, Realization of a Geometry Theorem Proving Machine. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-523.
  10.  33
    A Review of Automatic Theorem-Proving. [REVIEW]J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):190-190.
  11.  78
    Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 , pp. 102–128. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-126.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  12.  68
    Motokiti Kondô and Haruo Murata. On proof retrieval: problem-solving machines. I.Proceedings of the Japan Academy, vol. 41 , pp. 254–259. - Motokiti Kondô and Haruo Murata. Standard form in PGO and transformation algorithm: problem-solving machines. II.Proceedings of the Japan Academy, vol. 41 , pp. 355–359. - Motokiti Kondô and Haruo Murata. Transformation of PGO into a calculable expression: problem-solving machines. III.Proceedings of the Japan Academy, vol. 42 , pp. 299–303. [REVIEW]J. A. Robinson - 1969 - Journal of Symbolic Logic 34 (1):132-133.
  13.  39
    Engelbrecht's Patristische Analecten. [REVIEW]J. Armitage Robinson - 1892 - The Classical Review 6 (9):404-406.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  43
    Krumbacher's Legends Relating to S. Theodosius. [REVIEW]J. Armitage Robinson - 1893 - The Classical Review 7 (4):177-179.
  15.  44
    Loveland Donald W.. Automated theorem proving. A logical basis. Fundamental studies in computer science, vol. 6. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xiii + 405 pp. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
  16.  63
    Martin Davis and Hilary Putnam. A computing procedure for quantification theory. Journal of the Association for Computing Machinery, vol. 7 , pp. 201–215. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):125-126.
  17.  50
    (1 other version)McCarthy John. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 219–227. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):523-523.
  18.  55
    Raabe's Apology of Aristides. [REVIEW]J. Armitage Robinson - 1893 - The Classical Review 7 (3):124-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  63
    Review: Martin Davis, Eliminating the Irrelevant from Mechanical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-119.
  20. (1 other version)Review: P. C. Gilmore, A Proof Method for Quantification Theory: Its Justification and Realization. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):124-125.
     
    Export citation  
     
    Bookmark  
  21.  28
    Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 87–94. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):119.