Automated Theorem Proving. A Logical Basis

Journal of Symbolic Logic 45 (3):629-630 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273428

Links

PhilArchive



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

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

Review: Donald W. Loveland, Automated Theorem Proving. A Logical Basis. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982.Donald W. Loveland - 1982 - Springer.
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Isabelle: A Generic Theorem Prover.Lawrence C. Paulson - 1994 - Springer Verlag.
Automated theorem proving for łukasiewicz logics.Gordon Beavers - 1993 - Studia Logica 52 (2):183 - 195.
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-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-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.

Analytics

Added to PP
2015-02-05

Downloads
16 (#880,136)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
On Different Concepts of Resolution.Alexander Leitsch - 1989 - Mathematical Logic Quarterly 35 (1):71-77.
On Different Concepts of Resolution.Alexander Leitsch - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):71-77.

Add more citations

References found in this work

No references found.

Add more references