On Automatic Deduction

&
Journal of Symbolic Logic 31 (3):516 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270501

Links

PhilArchive



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

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

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-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings.David McAllester - 2000 - Springer Verlag.
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.
Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings.Andrei Voronkov - 2002 - 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-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-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : Proceedings.Deepak Kapur - 1992 - Springer.
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-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings.Franz Baader - 2003 - Springer Verlag.
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : Selected Papers.Dongming Wang - 1998 - Springer Verlag.
Robinson J. A.. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 , pp. 227–234. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):189-190.
Automated Deduction in Multiple-valued Logics.Reiner Hähnle - 1993 - Oxford University Press.
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982.Donald W. Loveland - 1982 - Springer.

Analytics

Added to PP
2013-11-03

Downloads
13 (#1,029,505)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references