Comparison of Natural Deduction and Locking Resolution Implementations

Authors:
Steven Greenbaum;A. Nagasaka;Paul O'Rorke;David A. Plaisted
Affiliations:
-;-;-;-
Venue:
Proceedings of the 6th Conference on Automated Deduction
Year:
1982

Citing 0
Cited 3

A Structure-preserving Clause Form Translation

Journal of Symbolic Computation
A superposition oriented theorem prover

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Consolution and its relation with resolution

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract