7th International Conference on Automated Deduction - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer New York

9780387960227, 9780387347684

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Natural Proof System Based on Rewriting Techniques

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_3 ◽

1984 ◽

pp. 53-64

Author(s):

Deepak Kapur ◽

Balakrishnan Krishnamurthy

Keyword(s):

Download Full-text

The Mechanization of Existence Proofs of Recursive Predicates

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_27 ◽

1984 ◽

pp. 460-475

Author(s):

Ketan Mulmuley

Keyword(s):

Existence Proofs

Download Full-text

A Programming Notation for Tactical Reasoning

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_26 ◽

1984 ◽

pp. 445-459 ◽

Author(s):

David A. Schmidt

Download Full-text

A Decision Method for Linear Temporal Logic

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_7 ◽

1984 ◽

pp. 113-127 ◽

Author(s):

Ana R. Cavalli ◽

Luis FariÑas Del Cerro

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Decision Method

Download Full-text

A New Interpretation of the Resolution Principle

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_20 ◽

1984 ◽

pp. 333-355 ◽

Author(s):

Etienne Paul

Keyword(s):

Resolution Principle ◽

New Interpretation

Download Full-text

The Linked Inference Principle, II: The User’s Viewpoint

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_19 ◽

1984 ◽

pp. 316-332 ◽

Author(s):

L. Wos ◽

R. Veroff ◽

B. Smith ◽

W. McCune

Download Full-text

The Next Generation of Interactive Theorem Provers

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_18 ◽

1984 ◽

pp. 303-315 ◽

Author(s):

Patrick Suppes

Keyword(s):

Next Generation ◽

Theorem Provers ◽

Interactive Theorem Provers

Download Full-text

Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_22 ◽

1984 ◽

pp. 375-393 ◽

Author(s):

Dale A. Miller

Keyword(s):

Natural Deduction

Download Full-text

EKL—A Mathematically Oriented Proof Checker

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_4 ◽

1984 ◽

pp. 65-79 ◽

Author(s):

Jussi Ketonen

Keyword(s):

Download Full-text

Implementation Strategies for Plan-Based Deduction

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_25 ◽

1984 ◽

pp. 426-444

Author(s):

Kenneth Forsythe ◽

Stanislaw Matwin

Keyword(s):

Implementation Strategies

Download Full-text