Automation of Reasoning
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642819575, 9783642819551

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Computer Algorithm for the Determination of Deducibility on the Basis of the Inverse Method

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_31 ◽

1983 ◽

pp. 531-541 ◽

Author(s):

A. O. Slisenko

Keyword(s):

Inverse Method ◽

Computer Algorithm

Download Full-text

Completeness Results for E-Resolution

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_20 ◽

1983 ◽

pp. 317-320

Author(s):

R. Anderson

Download Full-text

Commentary by the Author and Corrections

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_18 ◽

1983 ◽

pp. 283-297

Author(s):

D. Prawitz

Download Full-text

Semantic Trees in Automatic Theorem-Proving

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_13 ◽

1983 ◽

pp. 217-232 ◽

Author(s):

R. Kowalski ◽

P. J. Hayes

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Automated Theorem Proving 1965–1970

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_1 ◽

1983 ◽

pp. 1-24 ◽

Author(s):

L. Wos ◽

L. Henschen

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

Download Full-text

Simple Word Problems in Universal Algebras

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_23 ◽

1983 ◽

pp. 342-376 ◽

Author(s):

D. E. Knuth ◽

P. B. Bendix

Keyword(s):

Word Problems ◽

Universal Algebras

Download Full-text

A Linear Format for Resolution

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_25 ◽

1983 ◽

pp. 399-416

Author(s):

D. W. Loveland

Download Full-text

A Cancellation Algorithm for Elementary Logic

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_2 ◽

1983 ◽

pp. 27-47

Author(s):

R. W. Binkley ◽

R. L. Clark

Download Full-text

E-Resolution: Extension of Resolution to Include the Equality Relation

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_17 ◽

1983 ◽

pp. 273-280

Author(s):

J. B. Morris

Keyword(s):

Equality Relation

Download Full-text

On the Complexity of Derivation in Propositional Calculus

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_28 ◽

1983 ◽

pp. 466-483 ◽

Author(s):

G. S. Tseitin

Keyword(s):

Propositional Calculus

Download Full-text