Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving

Authors:
David A. Plaisted
Affiliations:
-
Venue:
Proceedings of the 7th International Conference on Automated Deduction
Year:
1984

Citing 0
Cited 2

Self-improvement in problem-solving

ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Designing examples for semantically guided hierarchical deduction

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

Quantified Score

Hi-index	0.00

Visualization

Abstract