SETHEO Goes Software Engineering: Application of ATP to Software Reuse

Authors:
Bernd Fischer;Johann Schumann
Affiliations:
-;-
Venue:
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Year:
1997

Citing 0
Cited 2

Learning Search Control Knowledge for Equational Theorem Proving

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
SPARTACAS Automating Component Reuse and Adaptation

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract