Automation of Reasoning
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642819544, 9783642819520
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Algorithm for a Machine Search of a Natural Logical Deduction in a Propositional Calculus

1983 ◽  
pp. 424-483 ◽  
Author(s):  
N. A. Shanin ◽  
G. V. Davydov ◽  
S. Yu. Maslov ◽  
G. E. Mints ◽  
V. P. Orevkov ◽  
...  
Keyword(s):  
Propositional Calculus ◽  
Logical Deduction

The Unit Preference Strategy in Theorem Proving

1983 ◽  
pp. 387-393
Author(s):  
L. Wos ◽  
D. Carson ◽  
G. A. Robinson
Keyword(s):  
Theorem Proving

Theorem Testing by Computer

1983 ◽  
pp. 271-275 ◽  
Author(s):  
B. Dunham ◽  
J. H. North

An Improved Proof Procedure

1983 ◽  
pp. 162-201 ◽  
Author(s):  
D. Prawitz
Keyword(s):  
Proof Procedure

scholarly journals A Machine Program for Theorem Proving

1983 ◽  
pp. 267-270 ◽  
Author(s):  
M. Davis ◽  
G. Logemann ◽  
D. Loveland
Keyword(s):  
Theorem Proving

On Machines Which Prove Theorems

1983 ◽  
pp. 79-90
Author(s):  
E. W. Beth
Load More ...
Sign in / Sign up

Export Citation Format

Share Document