Simultaneous paramodulation
Authors:
Dan Benanav
Affiliations:
-
Venue:
CADE-10 Proceedings of the tenth international conference on Automated deduction
Year:
1990
Citing
0
Cited
1
Combining superposition, sorts and splitting
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract