Robinson J. A.. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 , pp. 227–234 [Book Review]

Journal of Symbolic Logic 39 (1):189-190 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272384

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automatic Deduction with Hyper-Resolution.J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):189-190.
Review: J. A. Robinson, Automatic Deduction with Hyper-Resolution. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):189-190.
Robinson J. A.. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence 1967, pp. 1–18. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.
On Automatic Deduction.David Luckham & John Alan Robinson - 1966 - Journal of Symbolic Logic 31 (3):516.
Hyper MV -ideals in hyper MV -algebras.Lida Torkzadeh & Afsaneh Ahadpanah - 2010 - Mathematical Logic Quarterly 56 (1):51-62.
Automated Deduction - Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings.David McAllester - 2000 - Springer Verlag.
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings.Harald Ganzinger - 1999 - Springer Verlag.
Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings.Andrei Voronkov - 2002 - Springer Verlag.
New types of hyper MV-deductive systems in hyper MV-algebras.Young Bae Jun, Min Su Kang & Hee Sik Kim - 2010 - Mathematical Logic Quarterly 56 (4):400-405.
Automated Deduction, CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : Proceedings.Deepak Kapur - 1992 - Springer.
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings.Claude Kirchner & Helene Kirchner - 1998 - Springer Verlag.
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings.Michael A. McRobbie & J. K. Slaney - 1996 - Springer Verlag.
Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings.William McCune - 1997 - Lecture Notes in Artificial Intelligence.
Automated Deduction, Cade-12.: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings.Alan Bundy - 1994 - Springer Verlag.
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings.Franz Baader - 2003 - Springer Verlag.

Analytics

Added to PP
2016-06-30

Downloads
5 (#1,510,250)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references