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

Completeness Results for E-Resolution

1983 ◽  
pp. 317-320
Author(s):  
R. Anderson

Semantic Trees in Automatic Theorem-Proving

1983 ◽  
pp. 217-232 ◽  
Author(s):  
R. Kowalski ◽  
P. J. Hayes
Keyword(s):  
Theorem Proving ◽  
Automatic Theorem Proving ◽  
Automatic Theorem

Automated Theorem Proving 1965–1970

1983 ◽  
pp. 1-24 ◽  
Author(s):  
L. Wos ◽  
L. Henschen
Keyword(s):  
Theorem Proving ◽  
Automated Theorem Proving

A Linear Format for Resolution

1983 ◽  
pp. 399-416
Author(s):  
D. W. Loveland

A Cancellation Algorithm for Elementary Logic

1983 ◽  
pp. 27-47
Author(s):  
R. W. Binkley ◽  
R. L. Clark

Simple Word Problems in Universal Algebras

1983 ◽  
pp. 342-376 ◽  
Author(s):  
D. E. Knuth ◽  
P. B. Bendix
Keyword(s):  
Word Problems ◽  
Universal Algebras
Load More ...
Sign in / Sign up

Export Citation Format

Share Document