34 found
Order:
Disambiguations
J. A. Robinson [31]J. Armitage Robinson [3]
  1.  80
    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   18 citations  
  3. Hume's two definitions of "cause".J. A. Robinson - 1962 - Philosophical Quarterly 12 (47):162-171.
  4.  50
    Automatic Deduction with Hyper-Resolution.J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):189-190.
  5.  10
    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.  10
    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.  23
    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  
  9.  30
    Meeting of the association for symbolic logic.J. A. Robinson & N. M. Martin - 1967 - Journal of Symbolic Logic 32 (3):430.
  10.  19
    A Review of Automatic Theorem-Proving. [REVIEW]J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):190-190.
  11.  13
    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  
  12.  21
    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  
  13.  35
    Engelbrecht's Patristische Analecten. [REVIEW]J. Armitage Robinson - 1892 - The Classical Review 6 (9):404-406.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  35
    Krumbacher's Legends Relating to S. Theodosius. [REVIEW]J. Armitage Robinson - 1893 - The Classical Review 7 (4):177-179.
  15.  14
    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.  39
    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.  14
    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  
  18.  23
    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.
  19.  44
    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.
  20.  41
    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.
  21.  40
    Raabe's Apology of Aristides. [REVIEW]J. Armitage Robinson - 1893 - The Classical Review 7 (3):124-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  46
    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.
  23.  15
    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.
  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. Review: Dag Prawitz, An Improved Proof Procedure. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
  26.  7
    Review: Donald W. Loveland, Automated Theorem Proving. A Logical Basis. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
  27. 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.
  28. Review: John McCarthy, Computer Programs for Checking Mathematical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):523-523.
  29. 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  
  30. 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.
  31.  11
    Review: Martin Davis, Eliminating the Irrelevant from Mechanical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-119.
  32. 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  
  33. 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.
  34.  18
    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.