- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by J. A. Robinson
34 found
Order:
Disambiguations
Disambiguations:
| J. A. Robinson [31] | J. Armitage Robinson [3] |
- A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
- Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
- Hume's two definitions of "cause".J. A. Robinson - 1962 - Philosophical Quarterly 12 (47):162-171.
- Automatic Deduction with Hyper-Resolution.J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):189-190.
- Theorem-Proving on the Computer.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):514-515.
- 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.
- 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.
- 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.
- A Review of Automatic Theorem-Proving. [REVIEW]J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):190-190.
- 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.
- 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 - Dag Prawitz. An improved proof procedure. Theoria , vol. 26 , pp. 102–139.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
- Engelbrecht's Patristische Analecten. [REVIEW]J. Armitage Robinson - 1892 - The Classical Review 6 (9):404-406.
- 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.Export citation Bookmark
- Computational Logic Essays in Honor of Alan Robinson.Jean-Louis Lassez, G. Plotkin & J. A. Robinson - 1991Export citation Bookmark
- 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.Export citation Bookmark
- Raabe's Apology of Aristides. [REVIEW]J. Armitage Robinson - 1893 - The Classical Review 7 (3):124-125.
- Krumbacher's Legends Relating to S. Theodosius. [REVIEW]J. Armitage Robinson - 1893 - The Classical Review 7 (4):177-179.
- 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.
- 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.
- Review: Dag Prawitz, An Improved Proof Procedure. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.Export citation Bookmark
- 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.
- 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
- 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.Export citation Bookmark
- Meeting of the association for symbolic logic.J. A. Robinson & N. M. Martin - 1967 - Journal of Symbolic Logic 32 (3):430.
- 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.
- 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.
- Review: John McCarthy, Computer Programs for Checking Mathematical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):523-523.
- 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.
- 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.
- Review: Martin Davis, Eliminating the Irrelevant from Mechanical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-119.
- Review: Donald W. Loveland, Automated Theorem Proving. A Logical Basis. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
- 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.Export citation Bookmark
- 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.Export citation Bookmark
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5c86f9596c-lp6tz N