34 found
Order:
Disambiguations
J. A. Robinson [31]J. Armitage Robinson [3]
  1.  67
    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   17 citations  
  3. Hume's two definitions of "cause".J. A. Robinson - 1962 - Philosophical Quarterly 12 (47):162-171.
  4.  34
    Automatic Deduction with Hyper-Resolution.J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):189-190.
  5.  6
    Theorem-Proving on the Computer.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):514-515.
  6.  41
    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.
  7.  37
    P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 , pp. 28–35. [REVIEW]J. A. Robinson - 1996 - Journal of Symbolic Logic 31 (1):124-125.
  8.  25
    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.
  9.  13
    A Review of Automatic Theorem-Proving. [REVIEW]J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):190-190.
  10.  41
    Robinson Abraham. Proving a theorem . Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 350–352. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):522-522.
  11. Review: Martin Davis, Hilary Putnam, A Computing Procedure for Quantification Theory. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):125-126.
     
    Export citation  
     
    Bookmark  
  12.  20
    Dag Prawitz. An improved proof procedure. Theoria , vol. 26 , pp. 102–139.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  31
    Engelbrecht's Patristische Analecten. [REVIEW]J. Armitage Robinson - 1892 - The Classical Review 6 (9):404-406.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. 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.
  15. Computational Logic Essays in Honor of Alan Robinson.Jean-Louis Lassez, G. Plotkin & J. A. Robinson - 1991
     
    Export citation  
     
    Bookmark  
  16. 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.
  17.  30
    Raabe's Apology of Aristides. [REVIEW]J. Armitage Robinson - 1893 - The Classical Review 7 (3):124-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  27
    Krumbacher's Legends Relating to S. Theodosius. [REVIEW]J. Armitage Robinson - 1893 - The Classical Review 7 (4):177-179.
  19.  15
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    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.
  21. Review: Dag Prawitz, An Improved Proof Procedure. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
  22.  12
    Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem-proving. Communications of the ACM, vol. 5 , pp. 394–397. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. 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  
  24. Review: Dag Prawitz, Hakon Prawitz, Neri Voghera, A Mechanical Proof Procedure and its Realization in an Electronic Computer. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-126.
  25.  24
    Meeting of the association for symbolic logic.J. A. Robinson & N. M. Martin - 1967 - Journal of Symbolic Logic 32 (3):430.
  26.  10
    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.
  27.  10
    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.
  28. Review: John McCarthy, Computer Programs for Checking Mathematical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):523-523.
  29.  10
    Review: Abraham Robinson, Proving a Theorem (as Done by Man, Logician, or Machine). [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-522.
  30.  7
    Davis Martin. Eliminating the irrelevant from mechanical proofs. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 15–30. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    Review: Martin Davis, Eliminating the Irrelevant from Mechanical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-119.
  32.  6
    Review: Donald W. Loveland, Automated Theorem Proving. A Logical Basis. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
  33. Review: Martin Davis, George Logemann, Donald Loveland, A Machine Program for Theorem-Proving. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-118.
  34. Review: Stig Kanger, P. Braffort, D. Hirschberg, A Simplified Proof Method for Elementary Logic. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):119-119.