The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 08 - August (vol. 25)
ISSN: 0018-9340
Papers

IEEE Computer Society (PDF)

pp. c2

Introduction Tutorial on Resolution (PDF)

L.J. Henschen , Department of Computer Sciences, North-western University
pp. 769-772

Problems and Experiments for and with Automated Theorem-Proving Programs (PDF)

J.D. McCharen , Division of Computer Science, Department of Mathematical Sciences, Northern Illinois University
pp. 773-782

Resolution, Refinements, and Search Strategies: A Comparative Study (PDF)

G.A. Wilson , Computer Science Laboratory, Naval Research Laboratory
pp. 782-801

Refutations by Matings (Abstract)

P.B. Andrews , Carnegie-Mellon University
pp. 801-807

Semantic Resolution for Horn Sets (Abstract)

L.J. Henschen , Department of Computer Sciences, North-western University
pp. 816-822

A Search Technique for Clause Interconnectivity Graphs (PDF)

S. Sickel , Department of Information Sciences, University of California
pp. 823-835

An Evaluation of an Implementation of Qualified Hyperresolution (PDF)

S.K. Winker , Department of Computer Science, Northern Illinois University
pp. 835-843

The Use of Higher Order Logic in Program Verification (Abstract)

G.W. Ernst , Department of Computer Engineering, Case Western Reserve University
pp. 844-851

Methods for Automated Theorem Proving in Nonclassical Logics (PDF)

C.G. Morgan , Department of Philosophy, University of Victoria
pp. 852-862
102 ms
(Ver 3.1 (10032016))