Theorem Proving by Covering Expressions

Authors:
L. J. Henschen
Affiliations:
Department of Electrical Engineering and Computer Science, Northwestern University, Evanston, IL
Venue:
Journal of the ACM (JACM)
Year:
1979

Citing 3
Cited 2

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
A Simplified Format for the Model Elimination Theorem-Proving Procedure

Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Inference with path resolution and semantic graphs

Journal of the ACM (JACM)
Path resolution with link deletion

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract