The Char-Set Method and Its Applications to Automated Reasoning
Authors:
Wu Wen-Tsün
Affiliations:
-
Venue:
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Year:
1997
Citing
0
Cited
1
A survey of automated deduction
Artificial intelligence today
Quantified Score
Hi-index
0.00
Visualization
Abstract