Automated Theorem Proving
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer New York

9781461265191, 9781461300892

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Theo:A Resolution—Refutation Theorem Prover

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_9 ◽

2001 ◽

pp. 113-138

Author(s):

Monty Newborn

Keyword(s):

Theorem Prover ◽

Resolution Refutation

Compile: Transforming Well-Formed Formulas to Clauses

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_3 ◽

2001 ◽

pp. 21-28

Author(s):

Monty Newborn

The Cade Atp System Competitions and Other Theorem Provers

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_13 ◽

2001 ◽

pp. 181-206

Author(s):

Monty Newborn

Keyword(s):

Theorem Provers

A Look at the Source Code of Theo

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_12 ◽

2001 ◽

pp. 173-180

Author(s):

Monty Newborn

Keyword(s):

Source Code

Using Herby

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_8 ◽

2001 ◽

pp. 97-112

Author(s):

Monty Newborn

Resolution-Refutation Proofs

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_6 ◽

2001 ◽

pp. 53-84

Author(s):

Monty Newborn

Keyword(s):

Resolution Refutation

Inference Procedures

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_4 ◽

2001 ◽

pp. 29-42

Author(s):

Monty Newborn

Predicate Calculus, Well-Formed Formulas, and Theorems

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_2 ◽

2001 ◽

pp. 7-20

Author(s):

Monty Newborn

Keyword(s):

Predicate Calculus

A Look at the Source Code of Herby

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_11 ◽

2001 ◽

pp. 161-172

Author(s):

Monty Newborn

Keyword(s):

Source Code

Herby: A Semantic—Tree Theorem Prover

Automated Theorem Proving ◽

10.1007/978-1-4613-0089-2_7 ◽

2001 ◽

pp. 85-96

Author(s):

Monty Newborn

Keyword(s):

Theorem Prover ◽

Semantic Tree