Inference rules using local contexts
Authors:
Leonard G. Monk
Affiliations:
-
Venue:
Journal of Automated Reasoning
Year:
1988
Citing
0
Cited
1
Reasoning Theories
Journal of Automated Reasoning
Quantified Score
Hi-index
0.02
Visualization
Abstract