First-Order Logic and Automated Theorem Proving
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer US

9781468403596, 9781468403572

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantic Tableaux and Resolution

First-Order Logic and Automated Theorem Proving ◽

10.1007/978-1-4684-0357-2_3 ◽

1990 ◽

pp. 36-69

Author(s):

Melvin Fitting

Keyword(s):

Semantic Tableaux

Download Full-text

Background

First-Order Logic and Automated Theorem Proving ◽

10.1007/978-1-4684-0357-2_1 ◽

1990 ◽

pp. 1-7

Author(s):

Melvin Fitting

Download Full-text

First-Order Logic

First-Order Logic and Automated Theorem Proving ◽

10.1007/978-1-4684-0357-2_5 ◽

1990 ◽

pp. 97-125 ◽

Cited By ~ 3

Author(s):

Melvin Fitting

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

First-Order Proof Procedures

First-Order Logic and Automated Theorem Proving ◽

10.1007/978-1-4684-0357-2_6 ◽

1990 ◽

pp. 126-138

Author(s):

Melvin Fitting

Keyword(s):

First Order

Download Full-text

Propositional Logic

First-Order Logic and Automated Theorem Proving ◽

10.1007/978-1-4684-0357-2_2 ◽

1990 ◽

pp. 8-35

Author(s):

Melvin Fitting

Keyword(s):

Propositional Logic

Download Full-text

Equality

First-Order Logic and Automated Theorem Proving ◽

10.1007/978-1-4684-0357-2_8 ◽

1990 ◽

pp. 194-232

Author(s):

Melvin Fitting

Download Full-text

Implementing Tableaux and Resolution

First-Order Logic and Automated Theorem Proving ◽

10.1007/978-1-4684-0357-2_7 ◽

1990 ◽

pp. 139-193

Author(s):

Melvin Fitting

Download Full-text

Other Propositional Proof Procedures

First-Order Logic and Automated Theorem Proving ◽

10.1007/978-1-4684-0357-2_4 ◽

1990 ◽

pp. 70-96

Author(s):

Melvin Fitting

Keyword(s):

Propositional Proof

Download Full-text